; benchmark generated from python API
(set-info :status unknown)
(declare-fun theme_kid_5_feasible () Bool)
(declare-fun theme_kid_4_feasible () Bool)
(declare-fun theme_kid_3_feasible () Bool)
(declare-fun theme_kid_2_feasible () Bool)
(declare-fun theme_kid_1_feasible () Bool)
(declare-fun theme_kid_0_feasible () Bool)
(declare-fun publics_body_kid_9_feasible () Bool)
(declare-fun publics_body_feasible () Bool)
(declare-fun publics_body_kid_8_feasible () Bool)
(declare-fun publics_body_kid_7_feasible () Bool)
(declare-fun publics_body_kid_6_feasible () Bool)
(declare-fun publics_body_kid_5_feasible () Bool)
(declare-fun publics_body_kid_4_feasible () Bool)
(declare-fun publics_body_kid_3_feasible () Bool)
(declare-fun publics_body_kid_2_feasible () Bool)
(declare-fun publics_body_kid_1_feasible () Bool)
(declare-fun publics_body_kid_0_feasible () Bool)
(declare-fun publics_cap_kid_3_feasible () Bool)
(declare-fun publics_cap_feasible () Bool)
(declare-fun publics_cap_kid_2_feasible () Bool)
(declare-fun publics_cap_kid_1_feasible () Bool)
(declare-fun publics_cap_kid_0_feasible () Bool)
(declare-fun publics_feasible () Bool)
(declare-fun progress_cap_kid_0_feasible () Bool)
(declare-fun progress_cap_feasible () Bool)
(declare-fun progress_body_kid_9_feasible () Bool)
(declare-fun progress_body_feasible () Bool)
(declare-fun progress_body_kid_8_feasible () Bool)
(declare-fun progress_body_kid_7_feasible () Bool)
(declare-fun progress_body_kid_6_feasible () Bool)
(declare-fun progress_body_kid_5_feasible () Bool)
(declare-fun progress_body_kid_4_feasible () Bool)
(declare-fun progress_body_kid_3_feasible () Bool)
(declare-fun progress_body_kid_2_feasible () Bool)
(declare-fun progress_body_kid_1_feasible () Bool)
(declare-fun progress_body_kid_0_feasible () Bool)
(declare-fun progress_feasible () Bool)
(declare-fun fast_content_3_feasible () Bool)
(declare-fun fast2_feasible () Bool)
(declare-fun fast_kid_3_feasible () Bool)
(declare-fun fast_content_2_feasible () Bool)
(declare-fun fast_kid_2_feasible () Bool)
(declare-fun fast_content_1_feasible () Bool)
(declare-fun fast_kid_1_feasible () Bool)
(declare-fun fast_content_0_feasible () Bool)
(declare-fun fast_kid_0_feasible () Bool)
(declare-fun fast_feasible () Bool)
(declare-fun fast_holder_feasible () Bool)
(declare-fun main_body_2_feasible () Bool)
(declare-fun main_right_feasible () Bool)
(declare-fun report_body_kid_6_feasible () Bool)
(declare-fun report_body_feasible () Bool)
(declare-fun report_body_kid_5_feasible () Bool)
(declare-fun report_body_kid_4_feasible () Bool)
(declare-fun report_body_kid_3_feasible () Bool)
(declare-fun report_body_kid_2_feasible () Bool)
(declare-fun report_body_kid_1_feasible () Bool)
(declare-fun report_body_kid_0_feasible () Bool)
(declare-fun report_cap_kid_2_feasible () Bool)
(declare-fun report_cap_feasible () Bool)
(declare-fun report_cap_kid_1_feasible () Bool)
(declare-fun report_cap_kid_0_feasible () Bool)
(declare-fun report_feasible () Bool)
(declare-fun news_body_kid_6_feasible () Bool)
(declare-fun news_body_feasible () Bool)
(declare-fun news_body_kid_5_feasible () Bool)
(declare-fun news_body_kid_4_feasible () Bool)
(declare-fun news_body_kid_3_feasible () Bool)
(declare-fun news_body_kid_2_feasible () Bool)
(declare-fun news_body_kid_1_feasible () Bool)
(declare-fun news_body_kid_0_feasible () Bool)
(declare-fun news_cap_kid_2_feasible () Bool)
(declare-fun news_cap_feasible () Bool)
(declare-fun news_cap_kid_1_feasible () Bool)
(declare-fun news_cap_kid_0_feasible () Bool)
(declare-fun news_feasible () Bool)
(declare-fun main_left_feasible () Bool)
(declare-fun main_pic_feasible () Bool)
(declare-fun main_body_feasible () Bool)
(declare-fun title_buttons_2_kid_1_feasible () Bool)
(declare-fun title_buttons_2_feasible () Bool)
(declare-fun title_buttons_2_kid_0_feasible () Bool)
(declare-fun title_buttons_kid_9_feasible () Bool)
(declare-fun title_buttons_feasible () Bool)
(declare-fun title_buttons_kid_8_feasible () Bool)
(declare-fun title_buttons_kid_7_feasible () Bool)
(declare-fun title_buttons_kid_6_feasible () Bool)
(declare-fun title_buttons_kid_5_feasible () Bool)
(declare-fun title_buttons_kid_4_feasible () Bool)
(declare-fun title_buttons_kid_3_feasible () Bool)
(declare-fun title_buttons_kid_2_feasible () Bool)
(declare-fun title_buttons_kid_1_feasible () Bool)
(declare-fun title_buttons_kid_0_feasible () Bool)
(declare-fun title_buttons_holder_feasible () Bool)
(declare-fun title_pic_feasible () Bool)
(declare-fun search_bar_kid_1_feasible () Bool)
(declare-fun search_bar_feasible () Bool)
(declare-fun search_bar_kid_0_feasible () Bool)
(declare-fun maps_kid_4_feasible () Bool)
(declare-fun maps_feasible () Bool)
(declare-fun maps_kid_3_feasible () Bool)
(declare-fun maps_kid_2_feasible () Bool)
(declare-fun maps_kid_1_feasible () Bool)
(declare-fun maps_kid_0_feasible () Bool)
(declare-fun search_feasible () Bool)
(declare-fun search_2_kid_1_feasible () Bool)
(declare-fun search_2_feasible () Bool)
(declare-fun search_2_kid_0_feasible () Bool)
(declare-fun theme_feasible () Bool)
(declare-fun main_body_holder_feasible () Bool)
(declare-fun title_feasible () Bool)
(declare-fun search_holder_feasible () Bool)
(declare-fun back_ground_feasible () Bool)
(declare-fun theme_width () Real)
(declare-fun theme_x () Real)
(declare-fun back_ground_width () Real)
(declare-fun back_ground_x () Real)
(declare-fun theme_kid_4_x () Real)
(declare-fun theme_kid_4_width () Real)
(declare-fun theme_kid_5_x () Real)
(declare-fun theme_kid_3_width () Real)
(declare-fun theme_kid_3_x () Real)
(declare-fun theme_kid_2_width () Real)
(declare-fun theme_kid_2_x () Real)
(declare-fun theme_kid_1_width () Real)
(declare-fun theme_kid_1_x () Real)
(declare-fun theme_kid_0_width () Real)
(declare-fun theme_kid_0_x () Real)
(declare-fun theme_kid_5_width () Real)
(declare-fun theme_kid_5_hight () Real)
(declare-fun theme_kid_5_y () Real)
(declare-fun theme_hight () Real)
(declare-fun theme_y () Real)
(declare-fun theme_kid_4_y () Real)
(declare-fun theme_kid_4_hight () Real)
(declare-fun theme_kid_3_y () Real)
(declare-fun theme_kid_3_hight () Real)
(declare-fun theme_kid_2_hight () Real)
(declare-fun theme_kid_2_y () Real)
(declare-fun theme_kid_1_hight () Real)
(declare-fun theme_kid_1_y () Real)
(declare-fun theme_kid_0_hight () Real)
(declare-fun theme_kid_0_y () Real)
(declare-fun publics_y () Real)
(declare-fun fast_holder_y () Real)
(declare-fun publics_hight () Real)
(declare-fun report_hight () Real)
(declare-fun report_y () Real)
(declare-fun news_y () Real)
(declare-fun news_hight () Real)
(declare-fun progress_y () Real)
(declare-fun progress_hight () Real)
(declare-fun main_pic_hight () Real)
(declare-fun main_pic_y () Real)
(declare-fun fast_holder_hight () Real)
(declare-fun main_body_2_hight () Real)
(declare-fun main_body_2_y () Real)
(declare-fun main_body_2_x () Real)
(declare-fun fast_holder_width () Real)
(declare-fun main_body_2_width () Real)
(declare-fun fast_holder_x () Real)
(declare-fun publics_width () Real)
(declare-fun publics_x () Real)
(declare-fun report_width () Real)
(declare-fun report_x () Real)
(declare-fun news_width () Real)
(declare-fun news_x () Real)
(declare-fun progress_width () Real)
(declare-fun progress_x () Real)
(declare-fun main_pic_width () Real)
(declare-fun main_pic_x () Real)
(declare-fun publics_body_kid_8_hight () Real)
(declare-fun publics_body_kid_8_y () Real)
(declare-fun publics_body_kid_9_y () Real)
(declare-fun publics_body_kid_7_y () Real)
(declare-fun publics_body_kid_7_hight () Real)
(declare-fun publics_body_kid_6_y () Real)
(declare-fun publics_body_kid_6_hight () Real)
(declare-fun publics_body_kid_5_hight () Real)
(declare-fun publics_body_kid_5_y () Real)
(declare-fun publics_body_kid_4_hight () Real)
(declare-fun publics_body_kid_4_y () Real)
(declare-fun publics_body_kid_3_hight () Real)
(declare-fun publics_body_kid_3_y () Real)
(declare-fun publics_body_kid_2_hight () Real)
(declare-fun publics_body_kid_2_y () Real)
(declare-fun publics_body_kid_1_hight () Real)
(declare-fun publics_body_kid_1_y () Real)
(declare-fun publics_body_kid_0_y () Real)
(declare-fun publics_body_kid_0_hight () Real)
(declare-fun publics_body_hight () Real)
(declare-fun publics_body_kid_9_hight () Real)
(declare-fun publics_body_y () Real)
(declare-fun publics_body_x () Real)
(declare-fun publics_body_kid_9_x () Real)
(declare-fun publics_body_width () Real)
(declare-fun publics_body_kid_9_width () Real)
(declare-fun publics_body_kid_8_width () Real)
(declare-fun publics_body_kid_8_x () Real)
(declare-fun publics_body_kid_7_width () Real)
(declare-fun publics_body_kid_7_x () Real)
(declare-fun publics_body_kid_6_width () Real)
(declare-fun publics_body_kid_6_x () Real)
(declare-fun publics_body_kid_5_width () Real)
(declare-fun publics_body_kid_5_x () Real)
(declare-fun publics_body_kid_4_width () Real)
(declare-fun publics_body_kid_4_x () Real)
(declare-fun publics_body_kid_3_width () Real)
(declare-fun publics_body_kid_3_x () Real)
(declare-fun publics_body_kid_2_x () Real)
(declare-fun publics_body_kid_2_width () Real)
(declare-fun publics_body_kid_1_width () Real)
(declare-fun publics_body_kid_1_x () Real)
(declare-fun publics_body_kid_0_width () Real)
(declare-fun publics_body_kid_0_x () Real)
(declare-fun publics_cap_kid_0_x () Real)
(declare-fun publics_cap_x () Real)
(declare-fun publics_cap_kid_2_width () Real)
(declare-fun publics_cap_kid_2_x () Real)
(declare-fun publics_cap_kid_3_x () Real)
(declare-fun publics_cap_kid_1_width () Real)
(declare-fun publics_cap_kid_1_x () Real)
(declare-fun publics_cap_kid_0_width () Real)
(declare-fun publics_cap_hight () Real)
(declare-fun publics_cap_kid_3_y () Real)
(declare-fun publics_cap_y () Real)
(declare-fun publics_cap_kid_3_hight () Real)
(declare-fun publics_cap_kid_2_hight () Real)
(declare-fun publics_cap_kid_2_y () Real)
(declare-fun publics_cap_kid_1_hight () Real)
(declare-fun publics_cap_kid_1_y () Real)
(declare-fun publics_cap_kid_0_hight () Real)
(declare-fun publics_cap_kid_0_y () Real)
(declare-fun publics_cap_kid_3_width () Real)
(declare-fun publics_cap_width () Real)
(declare-fun progress_cap_x () Real)
(declare-fun progress_cap_kid_0_x () Real)
(declare-fun progress_cap_kid_0_y () Real)
(declare-fun progress_cap_hight () Real)
(declare-fun progress_cap_y () Real)
(declare-fun progress_cap_kid_0_hight () Real)
(declare-fun progress_cap_kid_0_width () Real)
(declare-fun progress_cap_width () Real)
(declare-fun progress_body_kid_9_y () Real)
(declare-fun progress_body_kid_8_hight () Real)
(declare-fun progress_body_kid_8_y () Real)
(declare-fun progress_body_kid_7_hight () Real)
(declare-fun progress_body_kid_7_y () Real)
(declare-fun progress_body_kid_6_hight () Real)
(declare-fun progress_body_kid_6_y () Real)
(declare-fun progress_body_kid_5_hight () Real)
(declare-fun progress_body_kid_5_y () Real)
(declare-fun progress_body_kid_4_y () Real)
(declare-fun progress_body_kid_4_hight () Real)
(declare-fun progress_body_kid_3_hight () Real)
(declare-fun progress_body_kid_3_y () Real)
(declare-fun progress_body_kid_2_y () Real)
(declare-fun progress_body_kid_2_hight () Real)
(declare-fun progress_body_kid_1_hight () Real)
(declare-fun progress_body_kid_1_y () Real)
(declare-fun progress_body_kid_0_hight () Real)
(declare-fun progress_body_kid_0_y () Real)
(declare-fun progress_body_hight () Real)
(declare-fun progress_body_y () Real)
(declare-fun progress_body_kid_9_hight () Real)
(declare-fun progress_body_width () Real)
(declare-fun progress_body_x () Real)
(declare-fun progress_body_kid_9_width () Real)
(declare-fun progress_body_kid_9_x () Real)
(declare-fun progress_body_kid_8_width () Real)
(declare-fun progress_body_kid_8_x () Real)
(declare-fun progress_body_kid_7_width () Real)
(declare-fun progress_body_kid_7_x () Real)
(declare-fun progress_body_kid_6_width () Real)
(declare-fun progress_body_kid_6_x () Real)
(declare-fun progress_body_kid_5_x () Real)
(declare-fun progress_body_kid_5_width () Real)
(declare-fun progress_body_kid_4_width () Real)
(declare-fun progress_body_kid_4_x () Real)
(declare-fun progress_body_kid_3_width () Real)
(declare-fun progress_body_kid_3_x () Real)
(declare-fun progress_body_kid_2_width () Real)
(declare-fun progress_body_kid_2_x () Real)
(declare-fun progress_body_kid_1_width () Real)
(declare-fun progress_body_kid_1_x () Real)
(declare-fun progress_body_kid_0_width () Real)
(declare-fun progress_body_kid_0_x () Real)
(declare-fun fast2_hight () Real)
(declare-fun fast_content_0_hight () Real)
(declare-fun fast2_y () Real)
(declare-fun fast_content_0_y () Real)
(declare-fun fast_content_3_y () Real)
(declare-fun fast_content_3_hight () Real)
(declare-fun fast_content_2_hight () Real)
(declare-fun fast_content_2_y () Real)
(declare-fun fast_content_1_hight () Real)
(declare-fun fast_content_1_y () Real)
(declare-fun fast_content_0_width () Real)
(declare-fun fast_content_2_width () Real)
(declare-fun fast_content_0_x () Real)
(declare-fun fast_content_2_x () Real)
(declare-fun fast_content_1_x () Real)
(declare-fun fast_content_3_x () Real)
(declare-fun fast_content_1_width () Real)
(declare-fun fast2_width () Real)
(declare-fun fast2_x () Real)
(declare-fun fast_content_3_width () Real)
(declare-fun fast_kid_3_width () Real)
(declare-fun fast_kid_3_x () Real)
(declare-fun fast_kid_3_y () Real)
(declare-fun fast_kid_3_hight () Real)
(declare-fun fast_kid_2_width () Real)
(declare-fun fast_kid_2_x () Real)
(declare-fun fast_kid_2_y () Real)
(declare-fun fast_kid_2_hight () Real)
(declare-fun fast_kid_1_width () Real)
(declare-fun fast_kid_1_x () Real)
(declare-fun fast_kid_1_hight () Real)
(declare-fun fast_kid_1_y () Real)
(declare-fun fast_kid_0_x () Real)
(declare-fun fast_kid_0_width () Real)
(declare-fun fast_kid_0_hight () Real)
(declare-fun fast_kid_0_y () Real)
(declare-fun fast_max_width_1 () Real)
(declare-fun fast_x () Real)
(declare-fun fast_width () Real)
(declare-fun fast_max_width_0 () Real)
(declare-fun fast_max_hight_1 () Real)
(declare-fun fast_hight () Real)
(declare-fun fast_y () Real)
(declare-fun fast_max_hight_0 () Real)
(declare-fun main_right_hight () Real)
(declare-fun main_right_y () Real)
(declare-fun main_right_width () Real)
(declare-fun main_right_x () Real)
(declare-fun report_body_kid_5_hight () Real)
(declare-fun report_body_kid_5_y () Real)
(declare-fun report_body_kid_6_y () Real)
(declare-fun report_body_kid_4_hight () Real)
(declare-fun report_body_kid_4_y () Real)
(declare-fun report_body_kid_3_hight () Real)
(declare-fun report_body_kid_3_y () Real)
(declare-fun report_body_kid_2_y () Real)
(declare-fun report_body_kid_2_hight () Real)
(declare-fun report_body_kid_1_hight () Real)
(declare-fun report_body_kid_1_y () Real)
(declare-fun report_body_kid_0_hight () Real)
(declare-fun report_body_kid_0_y () Real)
(declare-fun report_body_x () Real)
(declare-fun report_body_kid_6_x () Real)
(declare-fun report_body_kid_5_x () Real)
(declare-fun report_body_kid_4_x () Real)
(declare-fun report_body_kid_3_x () Real)
(declare-fun report_body_kid_2_x () Real)
(declare-fun report_body_kid_1_x () Real)
(declare-fun report_body_kid_0_x () Real)
(declare-fun report_body_kid_6_hight () Real)
(declare-fun report_body_hight () Real)
(declare-fun report_body_y () Real)
(declare-fun report_body_kid_6_width () Real)
(declare-fun report_body_width () Real)
(declare-fun report_body_kid_5_width () Real)
(declare-fun report_body_kid_4_width () Real)
(declare-fun report_body_kid_3_width () Real)
(declare-fun report_body_kid_2_width () Real)
(declare-fun report_body_kid_1_width () Real)
(declare-fun report_body_kid_0_width () Real)
(declare-fun report_cap_kid_0_x () Real)
(declare-fun report_cap_x () Real)
(declare-fun report_cap_kid_1_x () Real)
(declare-fun report_cap_kid_2_x () Real)
(declare-fun report_cap_kid_1_width () Real)
(declare-fun report_cap_kid_0_width () Real)
(declare-fun report_cap_y () Real)
(declare-fun report_cap_kid_2_hight () Real)
(declare-fun report_cap_kid_2_y () Real)
(declare-fun report_cap_hight () Real)
(declare-fun report_cap_kid_1_hight () Real)
(declare-fun report_cap_kid_1_y () Real)
(declare-fun report_cap_kid_0_hight () Real)
(declare-fun report_cap_kid_0_y () Real)
(declare-fun report_cap_kid_2_width () Real)
(declare-fun report_cap_width () Real)
(declare-fun news_body_kid_5_hight () Real)
(declare-fun news_body_kid_6_y () Real)
(declare-fun news_body_kid_5_y () Real)
(declare-fun news_body_kid_4_hight () Real)
(declare-fun news_body_kid_4_y () Real)
(declare-fun news_body_kid_3_hight () Real)
(declare-fun news_body_kid_3_y () Real)
(declare-fun news_body_kid_2_hight () Real)
(declare-fun news_body_kid_2_y () Real)
(declare-fun news_body_kid_1_hight () Real)
(declare-fun news_body_kid_1_y () Real)
(declare-fun news_body_kid_0_y () Real)
(declare-fun news_body_kid_0_hight () Real)
(declare-fun news_body_x () Real)
(declare-fun news_body_kid_6_x () Real)
(declare-fun news_body_kid_5_x () Real)
(declare-fun news_body_kid_4_x () Real)
(declare-fun news_body_kid_3_x () Real)
(declare-fun news_body_kid_2_x () Real)
(declare-fun news_body_kid_1_x () Real)
(declare-fun news_body_kid_0_x () Real)
(declare-fun news_body_kid_6_hight () Real)
(declare-fun news_body_hight () Real)
(declare-fun news_body_y () Real)
(declare-fun news_body_kid_6_width () Real)
(declare-fun news_body_width () Real)
(declare-fun news_body_kid_5_width () Real)
(declare-fun news_body_kid_4_width () Real)
(declare-fun news_body_kid_3_width () Real)
(declare-fun news_body_kid_2_width () Real)
(declare-fun news_body_kid_1_width () Real)
(declare-fun news_body_kid_0_width () Real)
(declare-fun news_cap_x () Real)
(declare-fun news_cap_kid_0_x () Real)
(declare-fun news_cap_kid_1_width () Real)
(declare-fun news_cap_kid_2_x () Real)
(declare-fun news_cap_kid_1_x () Real)
(declare-fun news_cap_kid_0_width () Real)
(declare-fun news_cap_hight () Real)
(declare-fun news_cap_y () Real)
(declare-fun news_cap_kid_2_hight () Real)
(declare-fun news_cap_kid_2_y () Real)
(declare-fun news_cap_kid_1_hight () Real)
(declare-fun news_cap_kid_1_y () Real)
(declare-fun news_cap_kid_0_hight () Real)
(declare-fun news_cap_kid_0_y () Real)
(declare-fun news_cap_kid_2_width () Real)
(declare-fun news_cap_width () Real)
(declare-fun main_left_hight () Real)
(declare-fun main_left_y () Real)
(declare-fun main_left_width () Real)
(declare-fun main_left_x () Real)
(declare-fun main_body_hight () Real)
(declare-fun main_body_y () Real)
(declare-fun main_body_x () Real)
(declare-fun main_body_width () Real)
(declare-fun main_body_holder_width () Real)
(declare-fun main_body_holder_x () Real)
(declare-fun main_body_holder_hight () Real)
(declare-fun main_body_holder_y () Real)
(declare-fun title_buttons_2_x () Real)
(declare-fun title_buttons_2_kid_1_width () Real)
(declare-fun title_buttons_2_width () Real)
(declare-fun title_buttons_2_kid_1_x () Real)
(declare-fun title_buttons_2_kid_0_x () Real)
(declare-fun title_buttons_2_kid_1_hight () Real)
(declare-fun title_buttons_2_hight () Real)
(declare-fun title_buttons_2_kid_1_y () Real)
(declare-fun title_buttons_2_y () Real)
(declare-fun title_buttons_2_kid_0_y () Real)
(declare-fun title_buttons_2_kid_0_hight () Real)
(declare-fun title_buttons_2_kid_0_width () Real)
(declare-fun title_buttons_kid_0_width () Real)
(declare-fun title_buttons_kid_8_width () Real)
(declare-fun title_buttons_kid_0_x () Real)
(declare-fun title_buttons_kid_9_x () Real)
(declare-fun title_buttons_kid_8_x () Real)
(declare-fun title_buttons_kid_1_x () Real)
(declare-fun title_buttons_kid_7_width () Real)
(declare-fun title_buttons_kid_7_x () Real)
(declare-fun title_buttons_kid_6_x () Real)
(declare-fun title_buttons_kid_6_width () Real)
(declare-fun title_buttons_kid_5_x () Real)
(declare-fun title_buttons_kid_5_width () Real)
(declare-fun title_buttons_kid_4_width () Real)
(declare-fun title_buttons_kid_4_x () Real)
(declare-fun title_buttons_kid_3_width () Real)
(declare-fun title_buttons_kid_3_x () Real)
(declare-fun title_buttons_kid_2_width () Real)
(declare-fun title_buttons_kid_2_x () Real)
(declare-fun title_buttons_kid_1_width () Real)
(declare-fun title_buttons_kid_9_width () Real)
(declare-fun title_buttons_width () Real)
(declare-fun title_buttons_x () Real)
(declare-fun title_buttons_kid_0_hight () Real)
(declare-fun title_buttons_kid_9_hight () Real)
(declare-fun title_buttons_kid_8_hight () Real)
(declare-fun title_buttons_kid_7_hight () Real)
(declare-fun title_buttons_kid_6_hight () Real)
(declare-fun title_buttons_kid_5_hight () Real)
(declare-fun title_buttons_kid_4_hight () Real)
(declare-fun title_buttons_kid_3_hight () Real)
(declare-fun title_buttons_kid_2_hight () Real)
(declare-fun title_buttons_kid_1_hight () Real)
(declare-fun title_buttons_y () Real)
(declare-fun title_buttons_kid_9_y () Real)
(declare-fun title_buttons_hight () Real)
(declare-fun title_buttons_kid_8_y () Real)
(declare-fun title_buttons_kid_7_y () Real)
(declare-fun title_buttons_kid_6_y () Real)
(declare-fun title_buttons_kid_5_y () Real)
(declare-fun title_buttons_kid_4_y () Real)
(declare-fun title_buttons_kid_3_y () Real)
(declare-fun title_buttons_kid_2_y () Real)
(declare-fun title_buttons_kid_1_y () Real)
(declare-fun title_buttons_kid_0_y () Real)
(declare-fun title_buttons_holder_y () Real)
(declare-fun title_buttons_holder_hight () Real)
(declare-fun title_buttons_holder_width () Real)
(declare-fun title_buttons_holder_x () Real)
(declare-fun title_pic_hight () Real)
(declare-fun title_pic_y () Real)
(declare-fun title_x () Real)
(declare-fun title_y () Real)
(declare-fun title_pic_x () Real)
(declare-fun title_width () Real)
(declare-fun title_hight () Real)
(declare-fun title_pic_width () Real)
(declare-fun search_bar_kid_0_hight () Real)
(declare-fun search_bar_kid_1_hight () Real)
(declare-fun search_bar_kid_1_x () Real)
(declare-fun search_bar_kid_0_x () Real)
(declare-fun search_bar_kid_0_width () Real)
(declare-fun search_bar_hight () Real)
(declare-fun search_bar_kid_1_y () Real)
(declare-fun search_bar_y () Real)
(declare-fun search_bar_kid_0_y () Real)
(declare-fun search_bar_kid_1_width () Real)
(declare-fun search_bar_width () Real)
(declare-fun search_bar_x () Real)
(declare-fun search_width () Real)
(declare-fun search_x () Real)
(declare-fun maps_x () Real)
(declare-fun maps_kid_4_x () Real)
(declare-fun maps_kid_3_width () Real)
(declare-fun maps_kid_3_x () Real)
(declare-fun maps_kid_2_width () Real)
(declare-fun maps_kid_2_x () Real)
(declare-fun maps_kid_1_width () Real)
(declare-fun maps_kid_1_x () Real)
(declare-fun maps_kid_0_width () Real)
(declare-fun maps_kid_0_x () Real)
(declare-fun maps_kid_4_hight () Real)
(declare-fun maps_hight () Real)
(declare-fun maps_kid_4_y () Real)
(declare-fun maps_y () Real)
(declare-fun maps_kid_4_width () Real)
(declare-fun maps_width () Real)
(declare-fun maps_kid_3_hight () Real)
(declare-fun maps_kid_3_y () Real)
(declare-fun maps_kid_2_y () Real)
(declare-fun maps_kid_2_hight () Real)
(declare-fun maps_kid_1_hight () Real)
(declare-fun maps_kid_1_y () Real)
(declare-fun maps_kid_0_y () Real)
(declare-fun maps_kid_0_hight () Real)
(declare-fun search_y () Real)
(declare-fun search_hight () Real)
(declare-fun search_2_y () Real)
(declare-fun search_2_kid_1_hight () Real)
(declare-fun search_2_kid_1_y () Real)
(declare-fun search_2_hight () Real)
(declare-fun search_2_kid_0_hight () Real)
(declare-fun search_2_kid_0_y () Real)
(declare-fun search_2_kid_1_x () Real)
(declare-fun search_2_width () Real)
(declare-fun search_2_x () Real)
(declare-fun search_2_kid_1_width () Real)
(declare-fun search_2_kid_0_x () Real)
(declare-fun search_2_kid_0_width () Real)
(declare-fun search_holder_x () Real)
(declare-fun search_holder_width () Real)
(declare-fun search_holder_hight () Real)
(declare-fun search_holder_y () Real)
(declare-fun BC_y () Real)
(declare-fun back_ground_y () Real)
(declare-fun back_ground_hight () Real)
(declare-fun BC_width () Real)
(declare-fun BC_x () Real)
(declare-fun BC_feasible () Bool)
(declare-fun BC_hight () Real)
(assert
 (let (($x4043 (not publics_body_feasible)))
 (let (($x4998 (or $x4043 publics_body_kid_9_feasible)))
 (let (($x4996 (not publics_body_kid_9_feasible)))
 (let (($x4997 (or $x4996 publics_body_feasible)))
 (let (($x4995 (or $x4043 publics_body_kid_8_feasible)))
 (let (($x4993 (not publics_body_kid_8_feasible)))
 (let (($x4994 (or $x4993 publics_body_feasible)))
 (let (($x4992 (or $x4043 publics_body_kid_7_feasible)))
 (let (($x4990 (not publics_body_kid_7_feasible)))
 (let (($x4991 (or $x4990 publics_body_feasible)))
 (let (($x4989 (or $x4043 publics_body_kid_6_feasible)))
 (let (($x4987 (not publics_body_kid_6_feasible)))
 (let (($x4988 (or $x4987 publics_body_feasible)))
 (let (($x4986 (or $x4043 publics_body_kid_5_feasible)))
 (let (($x4984 (not publics_body_kid_5_feasible)))
 (let (($x4985 (or $x4984 publics_body_feasible)))
 (let (($x4983 (or $x4043 publics_body_kid_4_feasible)))
 (let (($x4981 (not publics_body_kid_4_feasible)))
 (let (($x4982 (or $x4981 publics_body_feasible)))
 (let (($x4980 (or $x4043 publics_body_kid_3_feasible)))
 (let (($x4978 (not publics_body_kid_3_feasible)))
 (let (($x4979 (or $x4978 publics_body_feasible)))
 (let (($x4977 (or $x4043 publics_body_kid_2_feasible)))
 (let (($x4975 (not publics_body_kid_2_feasible)))
 (let (($x4976 (or $x4975 publics_body_feasible)))
 (let (($x4974 (or $x4043 publics_body_kid_1_feasible)))
 (let (($x4972 (not publics_body_kid_1_feasible)))
 (let (($x4973 (or $x4972 publics_body_feasible)))
 (let (($x4971 (or $x4043 publics_body_kid_0_feasible)))
 (let (($x4969 (not publics_body_kid_0_feasible)))
 (let (($x4970 (or $x4969 publics_body_feasible)))
 (let (($x3871 (not publics_cap_feasible)))
 (let (($x4968 (or $x3871 publics_cap_kid_3_feasible)))
 (let (($x4966 (not publics_cap_kid_3_feasible)))
 (let (($x4967 (or $x4966 publics_cap_feasible)))
 (let (($x4965 (or $x3871 publics_cap_kid_2_feasible)))
 (let (($x4963 (not publics_cap_kid_2_feasible)))
 (let (($x4964 (or $x4963 publics_cap_feasible)))
 (let (($x4962 (or $x3871 publics_cap_kid_1_feasible)))
 (let (($x4960 (not publics_cap_kid_1_feasible)))
 (let (($x4961 (or $x4960 publics_cap_feasible)))
 (let (($x4959 (or $x3871 publics_cap_kid_0_feasible)))
 (let (($x4957 (not publics_cap_kid_0_feasible)))
 (let (($x4958 (or $x4957 publics_cap_feasible)))
 (let (($x3791 (not publics_feasible)))
 (let (($x4956 (or $x3791 publics_body_feasible)))
 (let (($x4955 (or $x4043 publics_feasible)))
 (let (($x4954 (or $x3791 publics_cap_feasible)))
 (let (($x4953 (or $x3871 publics_feasible)))
 (let (($x3752 (not progress_cap_feasible)))
 (let (($x4952 (or $x3752 progress_cap_kid_0_feasible)))
 (let (($x4950 (not progress_cap_kid_0_feasible)))
 (let (($x4951 (or $x4950 progress_cap_feasible)))
 (let (($x3414 (not progress_body_feasible)))
 (let (($x4949 (or $x3414 progress_body_kid_9_feasible)))
 (let (($x4947 (not progress_body_kid_9_feasible)))
 (let (($x4948 (or $x4947 progress_body_feasible)))
 (let (($x4946 (or $x3414 progress_body_kid_8_feasible)))
 (let (($x4944 (not progress_body_kid_8_feasible)))
 (let (($x4945 (or $x4944 progress_body_feasible)))
 (let (($x4943 (or $x3414 progress_body_kid_7_feasible)))
 (let (($x4941 (not progress_body_kid_7_feasible)))
 (let (($x4942 (or $x4941 progress_body_feasible)))
 (let (($x4940 (or $x3414 progress_body_kid_6_feasible)))
 (let (($x4938 (not progress_body_kid_6_feasible)))
 (let (($x4939 (or $x4938 progress_body_feasible)))
 (let (($x4937 (or $x3414 progress_body_kid_5_feasible)))
 (let (($x4935 (not progress_body_kid_5_feasible)))
 (let (($x4936 (or $x4935 progress_body_feasible)))
 (let (($x4934 (or $x3414 progress_body_kid_4_feasible)))
 (let (($x4932 (not progress_body_kid_4_feasible)))
 (let (($x4933 (or $x4932 progress_body_feasible)))
 (let (($x4931 (or $x3414 progress_body_kid_3_feasible)))
 (let (($x4929 (not progress_body_kid_3_feasible)))
 (let (($x4930 (or $x4929 progress_body_feasible)))
 (let (($x4928 (or $x3414 progress_body_kid_2_feasible)))
 (let (($x4926 (not progress_body_kid_2_feasible)))
 (let (($x4927 (or $x4926 progress_body_feasible)))
 (let (($x4925 (or $x3414 progress_body_kid_1_feasible)))
 (let (($x4923 (not progress_body_kid_1_feasible)))
 (let (($x4924 (or $x4923 progress_body_feasible)))
 (let (($x4922 (or $x3414 progress_body_kid_0_feasible)))
 (let (($x4920 (not progress_body_kid_0_feasible)))
 (let (($x4921 (or $x4920 progress_body_feasible)))
 (let (($x3311 (not progress_feasible)))
 (let (($x4919 (or $x3311 progress_body_feasible)))
 (let (($x4918 (or $x3414 progress_feasible)))
 (let (($x4917 (or $x3311 progress_cap_feasible)))
 (let (($x4916 (or $x3752 progress_feasible)))
 (let (($x4913 (not fast_content_3_feasible)))
 (let (($x2941 (not fast2_feasible)))
 (let (($x4893 (not fast_kid_3_feasible)))
 (let (($x4915 (or $x4893 $x2941 $x4913)))
 (let (($x4914 (or fast_kid_3_feasible fast2_feasible $x4913)))
 (let (($x4912 (or $x2941 fast_content_3_feasible)))
 (let (($x4911 (or $x4893 fast_content_3_feasible)))
 (let (($x4908 (not fast_content_2_feasible)))
 (let (($x4890 (not fast_kid_2_feasible)))
 (let (($x4910 (or $x4890 $x2941 $x4908)))
 (let (($x4909 (or fast_kid_2_feasible fast2_feasible $x4908)))
 (let (($x4907 (or $x2941 fast_content_2_feasible)))
 (let (($x4906 (or $x4890 fast_content_2_feasible)))
 (let (($x4903 (not fast_content_1_feasible)))
 (let (($x4887 (not fast_kid_1_feasible)))
 (let (($x4905 (or $x4887 $x2941 $x4903)))
 (let (($x4904 (or fast_kid_1_feasible fast2_feasible $x4903)))
 (let (($x4902 (or $x2941 fast_content_1_feasible)))
 (let (($x4901 (or $x4887 fast_content_1_feasible)))
 (let (($x4898 (not fast_content_0_feasible)))
 (let (($x4884 (not fast_kid_0_feasible)))
 (let (($x4900 (or $x4884 $x2941 $x4898)))
 (let (($x4899 (or fast_kid_0_feasible fast2_feasible $x4898)))
 (let (($x4897 (or $x2941 fast_content_0_feasible)))
 (let (($x4896 (or $x4884 fast_content_0_feasible)))
 (let (($x2925 (not fast_feasible)))
 (let (($x4895 (or $x2925 fast_kid_3_feasible)))
 (let (($x4894 (or $x4893 fast_feasible)))
 (let (($x4892 (or $x2925 fast_kid_2_feasible)))
 (let (($x4891 (or $x4890 fast_feasible)))
 (let (($x4889 (or $x2925 fast_kid_1_feasible)))
 (let (($x4888 (or $x4887 fast_feasible)))
 (let (($x4886 (or $x2925 fast_kid_0_feasible)))
 (let (($x4885 (or $x4884 fast_feasible)))
 (let (($x4883 (or $x2941 fast_holder_feasible)))
 (let (($x4882 (or $x2925 fast_holder_feasible)))
 (let (($x2957 (not fast_holder_feasible)))
 (let (($x1715 (not main_body_2_feasible)))
 (let (($x2827 (not main_right_feasible)))
 (let (($x4881 (or $x2827 $x1715 $x2957)))
 (let (($x4880 (or main_right_feasible main_body_2_feasible $x2957)))
 (let (($x4879 (or $x1715 fast_holder_feasible)))
 (let (($x4878 (or $x2827 fast_holder_feasible)))
 (let (($x4877 (or $x2827 $x1715 $x3791)))
 (let (($x4876 (or main_right_feasible main_body_2_feasible $x3791)))
 (let (($x4875 (or $x1715 publics_feasible)))
 (let (($x4874 (or $x2827 publics_feasible)))
 (let (($x4873 (or $x2827 $x1715 $x3311)))
 (let (($x4872 (or main_right_feasible main_body_2_feasible $x3311)))
 (let (($x4871 (or $x1715 progress_feasible)))
 (let (($x4870 (or $x2827 progress_feasible)))
 (let (($x2583 (not report_body_feasible)))
 (let (($x4869 (or $x2583 report_body_kid_6_feasible)))
 (let (($x4867 (not report_body_kid_6_feasible)))
 (let (($x4868 (or $x4867 report_body_feasible)))
 (let (($x4866 (or $x2583 report_body_kid_5_feasible)))
 (let (($x4864 (not report_body_kid_5_feasible)))
 (let (($x4865 (or $x4864 report_body_feasible)))
 (let (($x4863 (or $x2583 report_body_kid_4_feasible)))
 (let (($x4861 (not report_body_kid_4_feasible)))
 (let (($x4862 (or $x4861 report_body_feasible)))
 (let (($x4860 (or $x2583 report_body_kid_3_feasible)))
 (let (($x4858 (not report_body_kid_3_feasible)))
 (let (($x4859 (or $x4858 report_body_feasible)))
 (let (($x4857 (or $x2583 report_body_kid_2_feasible)))
 (let (($x4855 (not report_body_kid_2_feasible)))
 (let (($x4856 (or $x4855 report_body_feasible)))
 (let (($x4854 (or $x2583 report_body_kid_1_feasible)))
 (let (($x4852 (not report_body_kid_1_feasible)))
 (let (($x4853 (or $x4852 report_body_feasible)))
 (let (($x4851 (or $x2583 report_body_kid_0_feasible)))
 (let (($x4849 (not report_body_kid_0_feasible)))
 (let (($x4850 (or $x4849 report_body_feasible)))
 (let (($x2460 (not report_cap_feasible)))
 (let (($x4848 (or $x2460 report_cap_kid_2_feasible)))
 (let (($x4846 (not report_cap_kid_2_feasible)))
 (let (($x4847 (or $x4846 report_cap_feasible)))
 (let (($x4845 (or $x2460 report_cap_kid_1_feasible)))
 (let (($x4843 (not report_cap_kid_1_feasible)))
 (let (($x4844 (or $x4843 report_cap_feasible)))
 (let (($x4842 (or $x2460 report_cap_kid_0_feasible)))
 (let (($x4840 (not report_cap_kid_0_feasible)))
 (let (($x4841 (or $x4840 report_cap_feasible)))
 (let (($x2383 (not report_feasible)))
 (let (($x4839 (or $x2383 report_body_feasible)))
 (let (($x4838 (or $x2583 report_feasible)))
 (let (($x4837 (or $x2383 report_cap_feasible)))
 (let (($x4836 (or $x2460 report_feasible)))
 (let (($x2140 (not news_body_feasible)))
 (let (($x4835 (or $x2140 news_body_kid_6_feasible)))
 (let (($x4833 (not news_body_kid_6_feasible)))
 (let (($x4834 (or $x4833 news_body_feasible)))
 (let (($x4832 (or $x2140 news_body_kid_5_feasible)))
 (let (($x4830 (not news_body_kid_5_feasible)))
 (let (($x4831 (or $x4830 news_body_feasible)))
 (let (($x4829 (or $x2140 news_body_kid_4_feasible)))
 (let (($x4827 (not news_body_kid_4_feasible)))
 (let (($x4828 (or $x4827 news_body_feasible)))
 (let (($x4826 (or $x2140 news_body_kid_3_feasible)))
 (let (($x4824 (not news_body_kid_3_feasible)))
 (let (($x4825 (or $x4824 news_body_feasible)))
 (let (($x4823 (or $x2140 news_body_kid_2_feasible)))
 (let (($x4821 (not news_body_kid_2_feasible)))
 (let (($x4822 (or $x4821 news_body_feasible)))
 (let (($x4820 (or $x2140 news_body_kid_1_feasible)))
 (let (($x4818 (not news_body_kid_1_feasible)))
 (let (($x4819 (or $x4818 news_body_feasible)))
 (let (($x4817 (or $x2140 news_body_kid_0_feasible)))
 (let (($x4815 (not news_body_kid_0_feasible)))
 (let (($x4816 (or $x4815 news_body_feasible)))
 (let (($x2015 (not news_cap_feasible)))
 (let (($x4814 (or $x2015 news_cap_kid_2_feasible)))
 (let (($x4812 (not news_cap_kid_2_feasible)))
 (let (($x4813 (or $x4812 news_cap_feasible)))
 (let (($x4811 (or $x2015 news_cap_kid_1_feasible)))
 (let (($x4809 (not news_cap_kid_1_feasible)))
 (let (($x4810 (or $x4809 news_cap_feasible)))
 (let (($x4808 (or $x2015 news_cap_kid_0_feasible)))
 (let (($x4806 (not news_cap_kid_0_feasible)))
 (let (($x4807 (or $x4806 news_cap_feasible)))
 (let (($x1938 (not news_feasible)))
 (let (($x4805 (or $x1938 news_body_feasible)))
 (let (($x4804 (or $x2140 news_feasible)))
 (let (($x4803 (or $x1938 news_cap_feasible)))
 (let (($x4802 (or $x2015 news_feasible)))
 (let (($x1837 (not main_left_feasible)))
 (let (($x4801 (or $x1837 $x1715 $x2383)))
 (let (($x4800 (or main_left_feasible main_body_2_feasible $x2383)))
 (let (($x4799 (or $x1715 report_feasible)))
 (let (($x4798 (or $x1837 report_feasible)))
 (let (($x4797 (or $x1837 $x1715 $x1938)))
 (let (($x4796 (or main_left_feasible main_body_2_feasible $x1938)))
 (let (($x4795 (or $x1715 news_feasible)))
 (let (($x4794 (or $x1837 news_feasible)))
 (let (($x4791 (not main_pic_feasible)))
 (let (($x4793 (or $x1837 $x1715 $x4791)))
 (let (($x4792 (or main_left_feasible main_body_2_feasible $x4791)))
 (let (($x4790 (or $x1715 main_pic_feasible)))
 (let (($x4789 (or $x1837 main_pic_feasible)))
 (let (($x1698 (not main_body_feasible)))
 (let (($x4788 (or $x1698 main_right_feasible)))
 (let (($x4787 (or $x2827 main_body_feasible)))
 (let (($x4786 (or $x1698 main_left_feasible)))
 (let (($x4785 (or $x1837 main_body_feasible)))
 (let (($x1230 (not title_buttons_2_feasible)))
 (let (($x4784 (or $x1230 title_buttons_2_kid_1_feasible)))
 (let (($x4782 (not title_buttons_2_kid_1_feasible)))
 (let (($x4783 (or $x4782 title_buttons_2_feasible)))
 (let (($x4781 (or $x1230 title_buttons_2_kid_0_feasible)))
 (let (($x4779 (not title_buttons_2_kid_0_feasible)))
 (let (($x4780 (or $x4779 title_buttons_2_feasible)))
 (let (($x1212 (not title_buttons_feasible)))
 (let (($x4778 (or $x1212 title_buttons_kid_9_feasible)))
 (let (($x4776 (not title_buttons_kid_9_feasible)))
 (let (($x4777 (or $x4776 title_buttons_feasible)))
 (let (($x4775 (or $x1212 title_buttons_kid_8_feasible)))
 (let (($x4773 (not title_buttons_kid_8_feasible)))
 (let (($x4774 (or $x4773 title_buttons_feasible)))
 (let (($x4772 (or $x1212 title_buttons_kid_7_feasible)))
 (let (($x4770 (not title_buttons_kid_7_feasible)))
 (let (($x4771 (or $x4770 title_buttons_feasible)))
 (let (($x4769 (or $x1212 title_buttons_kid_6_feasible)))
 (let (($x4767 (not title_buttons_kid_6_feasible)))
 (let (($x4768 (or $x4767 title_buttons_feasible)))
 (let (($x4766 (or $x1212 title_buttons_kid_5_feasible)))
 (let (($x4764 (not title_buttons_kid_5_feasible)))
 (let (($x4765 (or $x4764 title_buttons_feasible)))
 (let (($x4763 (or $x1212 title_buttons_kid_4_feasible)))
 (let (($x4761 (not title_buttons_kid_4_feasible)))
 (let (($x4762 (or $x4761 title_buttons_feasible)))
 (let (($x4760 (or $x1212 title_buttons_kid_3_feasible)))
 (let (($x4758 (not title_buttons_kid_3_feasible)))
 (let (($x4759 (or $x4758 title_buttons_feasible)))
 (let (($x4757 (or $x1212 title_buttons_kid_2_feasible)))
 (let (($x4755 (not title_buttons_kid_2_feasible)))
 (let (($x4756 (or $x4755 title_buttons_feasible)))
 (let (($x4754 (or $x1212 title_buttons_kid_1_feasible)))
 (let (($x4752 (not title_buttons_kid_1_feasible)))
 (let (($x4753 (or $x4752 title_buttons_feasible)))
 (let (($x4751 (or $x1212 title_buttons_kid_0_feasible)))
 (let (($x4749 (not title_buttons_kid_0_feasible)))
 (let (($x4750 (or $x4749 title_buttons_feasible)))
 (let (($x1068 (not search_bar_feasible)))
 (let (($x4748 (or $x1068 search_bar_kid_1_feasible)))
 (let (($x4746 (not search_bar_kid_1_feasible)))
 (let (($x4747 (or $x4746 search_bar_feasible)))
 (let (($x4745 (or $x1068 search_bar_kid_0_feasible)))
 (let (($x4743 (not search_bar_kid_0_feasible)))
 (let (($x4744 (or $x4743 search_bar_feasible)))
 (let (($x874 (not maps_feasible)))
 (let (($x4742 (or $x874 maps_kid_4_feasible)))
 (let (($x4740 (not maps_kid_4_feasible)))
 (let (($x4741 (or $x4740 maps_feasible)))
 (let (($x4739 (or $x874 maps_kid_3_feasible)))
 (let (($x4737 (not maps_kid_3_feasible)))
 (let (($x4738 (or $x4737 maps_feasible)))
 (let (($x4736 (or $x874 maps_kid_2_feasible)))
 (let (($x4734 (not maps_kid_2_feasible)))
 (let (($x4735 (or $x4734 maps_feasible)))
 (let (($x4733 (or $x874 maps_kid_1_feasible)))
 (let (($x4731 (not maps_kid_1_feasible)))
 (let (($x4732 (or $x4731 maps_feasible)))
 (let (($x4730 (or $x874 maps_kid_0_feasible)))
 (let (($x4728 (not maps_kid_0_feasible)))
 (let (($x4729 (or $x4728 maps_feasible)))
 (let (($x688 (not search_feasible)))
 (let (($x4727 (or $x688 search_bar_feasible)))
 (let (($x4726 (or $x1068 search_feasible)))
 (let (($x4725 (or $x688 maps_feasible)))
 (let (($x4724 (or $x874 search_feasible)))
 (let (($x706 (not search_2_feasible)))
 (let (($x4723 (or $x706 search_2_kid_1_feasible)))
 (let (($x4721 (not search_2_kid_1_feasible)))
 (let (($x4722 (or $x4721 search_2_feasible)))
 (let (($x4720 (or $x706 search_2_kid_0_feasible)))
 (let (($x4718 (not search_2_kid_0_feasible)))
 (let (($x4719 (or $x4718 search_2_feasible)))
 (let ((?x4716 (+ (+ (- (- back_ground_x) back_ground_width) theme_x) theme_width)))
 (let (($x4717 (= ?x4716 0.0)))
 (let ((?x625 (- back_ground_x)))
 (let ((?x663 (+ ?x625 theme_x)))
 (let (($x4713 (= ?x663 0.0)))
 (let ((?x4662 (- (- theme_kid_5_x theme_kid_4_width) theme_kid_4_x)))
 (let (($x4712 (= ?x4662 0.0)))
 (let ((?x4612 (- (- theme_kid_3_x) theme_kid_3_width)))
 (let ((?x4659 (+ ?x4612 theme_kid_4_x)))
 (let (($x4711 (= ?x4659 0.0)))
 (let ((?x4657 (- (- theme_kid_3_x theme_kid_2_x) theme_kid_2_width)))
 (let (($x4710 (= ?x4657 0.0)))
 (let ((?x4654 (- (- theme_kid_2_x theme_kid_1_x) theme_kid_1_width)))
 (let (($x4709 (= ?x4654 0.0)))
 (let ((?x4651 (- (+ (- theme_kid_0_x) theme_kid_1_x) theme_kid_0_width)))
 (let (($x4708 (= ?x4651 0.0)))
 (let (($x4707 (= (+ (- theme_kid_5_width) theme_kid_0_width) 0.0)))
 (let (($x4704 (= (+ (- theme_kid_4_width) theme_kid_0_width) 0.0)))
 (let (($x4702 (= (+ (- theme_kid_3_width) theme_kid_0_width) 0.0)))
 (let (($x4699 (= (+ (- theme_kid_2_width) theme_kid_0_width) 0.0)))
 (let (($x4696 (= (- theme_kid_0_width theme_kid_1_width) 0.0)))
 (let ((?x4693 (+ (+ (- (- theme_y) theme_hight) theme_kid_5_y) theme_kid_5_hight)))
 (let (($x4694 (= ?x4693 0.0)))
 (let ((?x4690 (+ (- (+ (- theme_y) theme_kid_4_hight) theme_hight) theme_kid_4_y)))
 (let (($x4691 (= ?x4690 0.0)))
 (let (($x4687 (= (+ (- (- theme_kid_3_hight theme_y) theme_hight) theme_kid_3_y) 0.0)))
 (let (($x4683 (= (- (+ (- theme_kid_2_y theme_y) theme_kid_2_hight) theme_hight) 0.0)))
 (let ((?x4679 (+ (- (+ (- theme_y) theme_kid_1_y) theme_hight) theme_kid_1_hight)))
 (let (($x4680 (= ?x4679 0.0)))
 (let ((?x4676 (+ (- (+ (- theme_y) theme_kid_0_y) theme_hight) theme_kid_0_hight)))
 (let (($x4677 (= ?x4676 0.0)))
 (let ((?x670 (- theme_y)))
 (let ((?x4643 (+ ?x670 theme_kid_5_y)))
 (let (($x4674 (= ?x4643 0.0)))
 (let ((?x4630 (+ ?x670 theme_kid_4_y)))
 (let (($x4673 (= ?x4630 0.0)))
 (let ((?x4616 (+ ?x670 theme_kid_3_y)))
 (let (($x4672 (= ?x4616 0.0)))
 (let ((?x4602 (- theme_kid_2_y theme_y)))
 (let (($x4671 (= ?x4602 0.0)))
 (let ((?x4589 (+ ?x670 theme_kid_1_y)))
 (let (($x4670 (= ?x4589 0.0)))
 (let ((?x4577 (+ ?x670 theme_kid_0_y)))
 (let (($x4669 (= ?x4577 0.0)))
 (let (($x4668 (= (- (- (+ theme_kid_5_x theme_kid_5_width) theme_x) theme_width) 0.0)))
 (let ((?x4570 (- theme_x)))
 (let ((?x4571 (+ ?x4570 theme_kid_0_x)))
 (let (($x4664 (= ?x4571 0.0)))
 (let (($x4663 (>= ?x4662 0.0)))
 (let (($x4660 (>= ?x4659 0.0)))
 (let (($x4658 (>= ?x4657 0.0)))
 (let (($x4655 (>= ?x4654 0.0)))
 (let (($x4652 (>= ?x4651 0.0)))
 (let (($x4648 (>= (- (- (+ theme_y theme_hight) theme_kid_5_y) theme_kid_5_hight) 0.0)))
 (let (($x4644 (>= ?x4643 0.0)))
 (let ((?x4641 (+ (+ (- (- theme_kid_5_x) theme_kid_5_width) theme_x) theme_width)))
 (let (($x4642 (>= ?x4641 0.0)))
 (let (($x4637 (>= (- theme_kid_5_x theme_x) 0.0)))
 (let (($x4635 (>= (- (+ (- theme_y theme_kid_4_hight) theme_hight) theme_kid_4_y) 0.0)))
 (let (($x4631 (>= ?x4630 0.0)))
 (let ((?x4628 (- (+ (+ (- theme_kid_4_width) theme_x) theme_width) theme_kid_4_x)))
 (let (($x4629 (>= ?x4628 0.0)))
 (let (($x4624 (>= (+ ?x4570 theme_kid_4_x) 0.0)))
 (let ((?x4621 (- (+ (+ (- theme_kid_3_hight) theme_y) theme_hight) theme_kid_3_y)))
 (let (($x4622 (>= ?x4621 0.0)))
 (let (($x4617 (>= ?x4616 0.0)))
 (let (($x4615 (>= (+ (+ ?x4612 theme_x) theme_width) 0.0)))
 (let (($x4610 (>= (- theme_kid_3_x theme_x) 0.0)))
 (let ((?x4607 (+ (- (+ (- theme_kid_2_y) theme_y) theme_kid_2_hight) theme_hight)))
 (let (($x4608 (>= ?x4607 0.0)))
 (let (($x4603 (>= ?x4602 0.0)))
 (let ((?x4600 (+ (- (+ (- theme_kid_2_x) theme_x) theme_kid_2_width) theme_width)))
 (let (($x4601 (>= ?x4600 0.0)))
 (let (($x4596 (>= (- theme_kid_2_x theme_x) 0.0)))
 (let (($x4594 (>= (- (+ (- theme_y theme_kid_1_y) theme_hight) theme_kid_1_hight) 0.0)))
 (let (($x4590 (>= ?x4589 0.0)))
 (let (($x4588 (>= (- (+ (- theme_x theme_kid_1_x) theme_width) theme_kid_1_width) 0.0)))
 (let (($x4584 (>= (+ ?x4570 theme_kid_1_x) 0.0)))
 (let (($x4582 (>= (- (+ (- theme_y theme_kid_0_y) theme_hight) theme_kid_0_hight) 0.0)))
 (let (($x4578 (>= ?x4577 0.0)))
 (let (($x4576 (>= (- (+ (- theme_x theme_kid_0_x) theme_width) theme_kid_0_width) 0.0)))
 (let (($x4572 (>= ?x4571 0.0)))
 (let (($x4569 (= theme_hight 100.0)))
 (let (($x4568 (>= theme_kid_5_hight 0.0)))
 (let (($x4567 (>= theme_kid_5_width 0.0)))
 (let (($x4566 (>= theme_kid_5_y 0.0)))
 (let (($x4565 (>= theme_kid_5_x 0.0)))
 (let (($x4564 (>= theme_kid_4_hight 0.0)))
 (let (($x4563 (>= theme_kid_4_width 0.0)))
 (let (($x4562 (>= theme_kid_4_y 0.0)))
 (let (($x4561 (>= theme_kid_4_x 0.0)))
 (let (($x4560 (>= theme_kid_3_hight 0.0)))
 (let (($x4559 (>= theme_kid_3_width 0.0)))
 (let (($x4558 (>= theme_kid_3_y 0.0)))
 (let (($x4557 (>= theme_kid_3_x 0.0)))
 (let (($x4556 (>= theme_kid_2_hight 0.0)))
 (let (($x4555 (>= theme_kid_2_width 0.0)))
 (let (($x4554 (>= theme_kid_2_y 0.0)))
 (let (($x4553 (>= theme_kid_2_x 0.0)))
 (let (($x4552 (>= theme_kid_1_hight 0.0)))
 (let (($x4551 (>= theme_kid_1_width 0.0)))
 (let (($x4550 (>= theme_kid_1_y 0.0)))
 (let (($x4549 (>= theme_kid_1_x 0.0)))
 (let (($x4548 (>= theme_kid_0_hight 0.0)))
 (let (($x4547 (>= theme_kid_0_width 0.0)))
 (let (($x4546 (>= theme_kid_0_y 0.0)))
 (let (($x4545 (>= theme_kid_0_x 0.0)))
 (let (($x4544 (or $x1715 (= (- (+ (- publics_hight) fast_holder_y) publics_y) 30.0))))
 (let (($x4542 (or $x1715 (= (+ (- (- report_y) report_hight) publics_y) 30.0))))
 (let (($x4540 (or $x1715 (= (- (+ (- news_hight) report_y) news_y) 30.0))))
 (let (($x4538 (or $x1715 (= (- (+ (- progress_hight) news_y) progress_y) 30.0))))
 (let (($x4536 (or $x1715 (= (+ (- (- main_pic_y) main_pic_hight) progress_y) 30.0))))
 (let ((?x2885 (- (+ (- publics_hight) fast_holder_y) publics_y)))
 (let (($x2886 (>= ?x2885 0.0)))
 (let (($x4533 (or $x1715 $x2886)))
 (let (($x4532 (or $x1715 (>= (+ (- (- report_y) report_hight) publics_y) 0.0))))
 (let ((?x1895 (- (+ (- news_hight) report_y) news_y)))
 (let (($x1896 (>= ?x1895 0.0)))
 (let (($x4528 (or $x1715 $x1896)))
 (let (($x4527 (or $x1715 (>= (- (+ (- progress_hight) news_y) progress_y) 0.0))))
 (let (($x4523 (or $x1715 (>= (+ (- (- main_pic_y) main_pic_hight) progress_y) 0.0))))
 (let ((?x4518 (- (+ (- main_body_2_y fast_holder_y) main_body_2_hight) fast_holder_hight)))
 (let (($x4520 (or $x1715 (>= ?x4518 10.0))))
 (let (($x4515 (or $x1715 (>= (+ (- main_body_2_y) fast_holder_y) 10.0))))
 (let ((?x4511 (+ (- (+ (- fast_holder_x) main_body_2_width) fast_holder_width) main_body_2_x)))
 (let (($x4513 (or $x1715 (>= ?x4511 10.0))))
 (let (($x4508 (or $x1715 (>= (- fast_holder_x main_body_2_x) 10.0))))
 (let ((?x4504 (- (+ (+ (- publics_hight) main_body_2_y) main_body_2_hight) publics_y)))
 (let (($x4506 (or $x1715 (>= ?x4504 10.0))))
 (let (($x4501 (or $x1715 (>= (+ (- main_body_2_y) publics_y) 10.0))))
 (let ((?x4496 (+ (- (+ (- publics_x) main_body_2_width) publics_width) main_body_2_x)))
 (let (($x4498 (or $x1715 (>= ?x4496 10.0))))
 (let (($x4493 (or $x1715 (>= (- publics_x main_body_2_x) 10.0))))
 (let (($x4490 (>= (- (+ (- main_body_2_y report_y) main_body_2_hight) report_hight) 10.0)))
 (let (($x4491 (or $x1715 $x4490)))
 (let (($x4486 (or $x1715 (>= (+ (- main_body_2_y) report_y) 10.0))))
 (let ((?x4481 (+ (- (+ (- report_x) main_body_2_width) report_width) main_body_2_x)))
 (let (($x4483 (or $x1715 (>= ?x4481 10.0))))
 (let (($x4478 (or $x1715 (>= (- report_x main_body_2_x) 10.0))))
 (let ((?x4474 (- (+ (+ (- news_hight) main_body_2_y) main_body_2_hight) news_y)))
 (let (($x4476 (or $x1715 (>= ?x4474 10.0))))
 (let (($x4471 (or $x1715 (>= (+ (- main_body_2_y) news_y) 10.0))))
 (let (($x4467 (>= (+ (- (- main_body_2_width news_x) news_width) main_body_2_x) 10.0)))
 (let (($x4468 (or $x1715 $x4467)))
 (let (($x4463 (or $x1715 (>= (- news_x main_body_2_x) 10.0))))
 (let ((?x4459 (- (+ (+ (- progress_hight) main_body_2_y) main_body_2_hight) progress_y)))
 (let (($x4461 (or $x1715 (>= ?x4459 10.0))))
 (let (($x4456 (or $x1715 (>= (+ (- main_body_2_y) progress_y) 10.0))))
 (let ((?x4451 (+ (- (- main_body_2_width progress_x) progress_width) main_body_2_x)))
 (let (($x4453 (or $x1715 (>= ?x4451 10.0))))
 (let (($x4448 (or $x1715 (>= (- progress_x main_body_2_x) 10.0))))
 (let ((?x4444 (+ (+ (- (- main_pic_y) main_pic_hight) main_body_2_y) main_body_2_hight)))
 (let (($x4446 (or $x1715 (>= ?x4444 10.0))))
 (let (($x4442 (or $x1715 (>= (- main_pic_y main_body_2_y) 10.0))))
 (let ((?x4438 (+ (- (- main_body_2_width main_pic_x) main_pic_width) main_body_2_x)))
 (let (($x4440 (or $x1715 (>= ?x4438 10.0))))
 (let (($x4435 (or $x1715 (>= (- main_pic_x main_body_2_x) 10.0))))
 (let ((?x4431 (+ (- (+ (- main_body_2_y) fast_holder_y) main_body_2_hight) fast_holder_hight)))
 (let (($x4433 (or $x1715 (= ?x4431 (- 10.0)))))
 (let (($x4427 (or $x1715 (= (- main_pic_y main_body_2_y) 10.0))))
 (let ((?x4422 (- (+ (- fast_holder_x main_body_2_width) fast_holder_width) main_body_2_x)))
 (let (($x4424 (or $x1715 (= ?x4422 (- 10.0)))))
 (let ((?x4417 (- (+ (- publics_x main_body_2_width) publics_width) main_body_2_x)))
 (let (($x4419 (or $x1715 (= ?x4417 (- 10.0)))))
 (let (($x4413 (= (- (+ (- report_x main_body_2_width) report_width) main_body_2_x) (- 10.0))))
 (let (($x4414 (or $x1715 $x4413)))
 (let ((?x4407 (- (+ (+ (- main_body_2_width) news_x) news_width) main_body_2_x)))
 (let (($x4409 (or $x1715 (= ?x4407 (- 10.0)))))
 (let ((?x4402 (- (+ (+ (- main_body_2_width) progress_x) progress_width) main_body_2_x)))
 (let (($x4404 (or $x1715 (= ?x4402 (- 10.0)))))
 (let ((?x4397 (- (+ (+ (- main_body_2_width) main_pic_x) main_pic_width) main_body_2_x)))
 (let (($x4399 (or $x1715 (= ?x4397 (- 10.0)))))
 (let (($x4393 (or $x1715 (= (- fast_holder_x main_body_2_x) 10.0))))
 (let (($x4390 (or $x1715 (= (- publics_x main_body_2_x) 10.0))))
 (let (($x4387 (or $x1715 (= (- report_x main_body_2_x) 10.0))))
 (let (($x4384 (or $x1715 (= (- news_x main_body_2_x) 10.0))))
 (let (($x4381 (or $x1715 (= (- progress_x main_body_2_x) 10.0))))
 (let (($x4378 (or $x1715 (= (- main_pic_x main_body_2_x) 10.0))))
 (let ((?x4249 (- (- publics_body_kid_9_y publics_body_kid_8_y) publics_body_kid_8_hight)))
 (let (($x4375 (or $x4043 (= ?x4249 0.0))))
 (let ((?x4245 (+ (- (- publics_body_kid_7_hight) publics_body_kid_7_y) publics_body_kid_8_y)))
 (let (($x4373 (or $x4043 (= ?x4245 0.0))))
 (let ((?x4241 (- (+ (- publics_body_kid_6_hight) publics_body_kid_7_y) publics_body_kid_6_y)))
 (let (($x4371 (or $x4043 (= ?x4241 0.0))))
 (let ((?x4142 (- (- publics_body_kid_5_y) publics_body_kid_5_hight)))
 (let ((?x4237 (+ ?x4142 publics_body_kid_6_y)))
 (let (($x4369 (or $x4043 (= ?x4237 0.0))))
 (let ((?x4234 (- (- publics_body_kid_5_y publics_body_kid_4_y) publics_body_kid_4_hight)))
 (let (($x4367 (or $x4043 (= ?x4234 0.0))))
 (let ((?x4230 (- (+ (- publics_body_kid_3_y) publics_body_kid_4_y) publics_body_kid_3_hight)))
 (let (($x4365 (or $x4043 (= ?x4230 0.0))))
 (let ((?x4226 (- (- publics_body_kid_3_y publics_body_kid_2_y) publics_body_kid_2_hight)))
 (let (($x4363 (or $x4043 (= ?x4226 0.0))))
 (let ((?x4222 (- (- publics_body_kid_2_y publics_body_kid_1_y) publics_body_kid_1_hight)))
 (let (($x4361 (or $x4043 (= ?x4222 0.0))))
 (let ((?x4218 (+ (- (- publics_body_kid_0_hight) publics_body_kid_0_y) publics_body_kid_1_y)))
 (let (($x4359 (or $x4043 (= ?x4218 0.0))))
 (let ((?x4355 (- (+ (- publics_body_kid_9_y publics_body_y) publics_body_kid_9_hight) publics_body_hight)))
 (let (($x4357 (or $x4043 (= ?x4355 0.0))))
 (let (($x4353 (or $x4043 (= (+ (- publics_body_y) publics_body_kid_0_y) 0.0))))
 (let ((?x4348 (+ (- publics_body_kid_9_width publics_body_width) publics_body_kid_9_x)))
 (let (($x4351 (or $x4043 (= (- ?x4348 publics_body_x) 0.0))))
 (let ((?x4343 (+ (- publics_body_kid_8_x publics_body_width) publics_body_kid_8_width)))
 (let (($x4346 (or $x4043 (= (- ?x4343 publics_body_x) 0.0))))
 (let ((?x4338 (+ (- publics_body_kid_7_x publics_body_width) publics_body_kid_7_width)))
 (let (($x4341 (or $x4043 (= (- ?x4338 publics_body_x) 0.0))))
 (let ((?x4333 (+ (+ (- publics_body_width) publics_body_kid_6_x) publics_body_kid_6_width)))
 (let (($x4336 (or $x4043 (= (- ?x4333 publics_body_x) 0.0))))
 (let ((?x4328 (+ (+ (- publics_body_width) publics_body_kid_5_x) publics_body_kid_5_width)))
 (let (($x4331 (or $x4043 (= (- ?x4328 publics_body_x) 0.0))))
 (let ((?x4324 (+ (- (+ (- publics_body_width) publics_body_kid_4_x) publics_body_x) publics_body_kid_4_width)))
 (let (($x4326 (or $x4043 (= ?x4324 0.0))))
 (let ((?x4319 (+ (- (+ (- publics_body_width) publics_body_kid_3_x) publics_body_x) publics_body_kid_3_width)))
 (let (($x4321 (or $x4043 (= ?x4319 0.0))))
 (let ((?x4313 (- (+ (- publics_body_width) publics_body_kid_2_width) publics_body_x)))
 (let (($x4316 (or $x4043 (= (+ ?x4313 publics_body_kid_2_x) 0.0))))
 (let ((?x4308 (+ (+ (- publics_body_width) publics_body_kid_1_x) publics_body_kid_1_width)))
 (let (($x4311 (or $x4043 (= (- ?x4308 publics_body_x) 0.0))))
 (let ((?x4302 (+ (- publics_body_kid_0_x publics_body_width) publics_body_kid_0_width)))
 (let (($x4305 (or $x4043 (= (- ?x4302 publics_body_x) 0.0))))
 (let (($x4300 (or $x4043 (= (- publics_body_kid_9_x publics_body_x) 0.0))))
 (let (($x4298 (or $x4043 (= (- publics_body_kid_8_x publics_body_x) 0.0))))
 (let (($x4296 (or $x4043 (= (- publics_body_kid_7_x publics_body_x) 0.0))))
 (let (($x4294 (or $x4043 (= (- publics_body_kid_6_x publics_body_x) 0.0))))
 (let (($x4292 (or $x4043 (= (- publics_body_kid_5_x publics_body_x) 0.0))))
 (let (($x4290 (or $x4043 (= (- publics_body_kid_4_x publics_body_x) 0.0))))
 (let (($x4288 (or $x4043 (= (- publics_body_kid_3_x publics_body_x) 0.0))))
 (let (($x4286 (or $x4043 (= (+ (- publics_body_x) publics_body_kid_2_x) 0.0))))
 (let (($x4284 (or $x4043 (= (- publics_body_kid_1_x publics_body_x) 0.0))))
 (let (($x4282 (or $x4043 (= (- publics_body_kid_0_x publics_body_x) 0.0))))
 (let (($x4280 (or $x4043 (= publics_body_kid_0_hight 35.0))))
 (let (($x4278 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_9_hight) 0.0))))
 (let (($x4275 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_8_hight) 0.0))))
 (let (($x4272 (or $x4043 (= (+ (- publics_body_kid_7_hight) publics_body_kid_0_hight) 0.0))))
 (let (($x4269 (or $x4043 (= (+ (- publics_body_kid_6_hight) publics_body_kid_0_hight) 0.0))))
 (let (($x4266 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_5_hight) 0.0))))
 (let (($x4263 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_4_hight) 0.0))))
 (let (($x4260 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_3_hight) 0.0))))
 (let (($x4257 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_2_hight) 0.0))))
 (let (($x4254 (or $x4043 (= (- publics_body_kid_0_hight publics_body_kid_1_hight) 0.0))))
 (let (($x4251 (or $x4043 (>= ?x4249 0.0))))
 (let (($x4247 (or $x4043 (>= ?x4245 0.0))))
 (let (($x4243 (or $x4043 (>= ?x4241 0.0))))
 (let (($x4239 (or $x4043 (>= ?x4237 0.0))))
 (let (($x4236 (or $x4043 (>= ?x4234 0.0))))
 (let (($x4232 (or $x4043 (>= ?x4230 0.0))))
 (let (($x4228 (or $x4043 (>= ?x4226 0.0))))
 (let (($x4224 (or $x4043 (>= ?x4222 0.0))))
 (let (($x4220 (or $x4043 (>= ?x4218 0.0))))
 (let ((?x4213 (- (+ (- publics_body_kid_9_y) publics_body_y) publics_body_kid_9_hight)))
 (let (($x4216 (or $x4043 (>= (+ ?x4213 publics_body_hight) 0.0))))
 (let (($x4210 (or $x4043 (>= (- publics_body_kid_9_y publics_body_y) 0.0))))
 (let ((?x4204 (- (+ (- publics_body_kid_9_width) publics_body_width) publics_body_kid_9_x)))
 (let (($x4207 (or $x4043 (>= (+ ?x4204 publics_body_x) 0.0))))
 (let (($x4201 (or $x4043 (>= (- publics_body_kid_9_x publics_body_x) 0.0))))
 (let ((?x4196 (- (+ (- publics_body_y publics_body_kid_8_y) publics_body_hight) publics_body_kid_8_hight)))
 (let (($x4198 (or $x4043 (>= ?x4196 0.0))))
 (let (($x4193 (or $x4043 (>= (+ (- publics_body_y) publics_body_kid_8_y) 0.0))))
 (let ((?x4187 (- (+ (- publics_body_kid_8_x) publics_body_width) publics_body_kid_8_width)))
 (let (($x4190 (or $x4043 (>= (+ ?x4187 publics_body_x) 0.0))))
 (let (($x4184 (or $x4043 (>= (- publics_body_kid_8_x publics_body_x) 0.0))))
 (let ((?x4178 (- (+ (- publics_body_kid_7_hight) publics_body_y) publics_body_kid_7_y)))
 (let (($x4181 (or $x4043 (>= (+ ?x4178 publics_body_hight) 0.0))))
 (let (($x4175 (or $x4043 (>= (+ (- publics_body_y) publics_body_kid_7_y) 0.0))))
 (let ((?x4169 (- (+ (- publics_body_kid_7_x) publics_body_width) publics_body_kid_7_width)))
 (let (($x4172 (or $x4043 (>= (+ ?x4169 publics_body_x) 0.0))))
 (let (($x4166 (or $x4043 (>= (- publics_body_kid_7_x publics_body_x) 0.0))))
 (let ((?x4160 (+ (+ (- publics_body_kid_6_hight) publics_body_y) publics_body_hight)))
 (let (($x4163 (or $x4043 (>= (- ?x4160 publics_body_kid_6_y) 0.0))))
 (let (($x4157 (or $x4043 (>= (+ (- publics_body_y) publics_body_kid_6_y) 0.0))))
 (let ((?x4151 (- (- publics_body_width publics_body_kid_6_x) publics_body_kid_6_width)))
 (let (($x4154 (or $x4043 (>= (+ ?x4151 publics_body_x) 0.0))))
 (let (($x4149 (or $x4043 (>= (- publics_body_kid_6_x publics_body_x) 0.0))))
 (let (($x4146 (or $x4043 (>= (+ (+ ?x4142 publics_body_y) publics_body_hight) 0.0))))
 (let (($x4140 (or $x4043 (>= (- publics_body_kid_5_y publics_body_y) 0.0))))
 (let ((?x4134 (- (- publics_body_width publics_body_kid_5_x) publics_body_kid_5_width)))
 (let (($x4137 (or $x4043 (>= (+ ?x4134 publics_body_x) 0.0))))
 (let (($x4132 (or $x4043 (>= (- publics_body_kid_5_x publics_body_x) 0.0))))
 (let ((?x4126 (- (+ (- publics_body_kid_4_y) publics_body_y) publics_body_kid_4_hight)))
 (let (($x4129 (or $x4043 (>= (+ ?x4126 publics_body_hight) 0.0))))
 (let (($x4123 (or $x4043 (>= (- publics_body_kid_4_y publics_body_y) 0.0))))
 (let ((?x4118 (- (+ (- publics_body_width publics_body_kid_4_x) publics_body_x) publics_body_kid_4_width)))
 (let (($x4120 (or $x4043 (>= ?x4118 0.0))))
 (let (($x4115 (or $x4043 (>= (- publics_body_kid_4_x publics_body_x) 0.0))))
 (let ((?x4109 (- (+ (- publics_body_kid_3_y) publics_body_y) publics_body_kid_3_hight)))
 (let (($x4112 (or $x4043 (>= (+ ?x4109 publics_body_hight) 0.0))))
 (let (($x4106 (or $x4043 (>= (- publics_body_kid_3_y publics_body_y) 0.0))))
 (let ((?x4101 (- (+ (- publics_body_width publics_body_kid_3_x) publics_body_x) publics_body_kid_3_width)))
 (let (($x4103 (or $x4043 (>= ?x4101 0.0))))
 (let (($x4098 (or $x4043 (>= (- publics_body_kid_3_x publics_body_x) 0.0))))
 (let ((?x4093 (- (+ (- publics_body_y publics_body_kid_2_y) publics_body_hight) publics_body_kid_2_hight)))
 (let (($x4095 (or $x4043 (>= ?x4093 0.0))))
 (let (($x4090 (or $x4043 (>= (+ (- publics_body_y) publics_body_kid_2_y) 0.0))))
 (let ((?x4085 (- (+ (- publics_body_width publics_body_kid_2_width) publics_body_x) publics_body_kid_2_x)))
 (let (($x4087 (or $x4043 (>= ?x4085 0.0))))
 (let (($x4082 (or $x4043 (>= (+ (- publics_body_x) publics_body_kid_2_x) 0.0))))
 (let ((?x4076 (- (- (+ publics_body_y publics_body_hight) publics_body_kid_1_y) publics_body_kid_1_hight)))
 (let (($x4078 (or $x4043 (>= ?x4076 0.0))))
 (let (($x4073 (or $x4043 (>= (+ (- publics_body_y) publics_body_kid_1_y) 0.0))))
 (let ((?x4067 (- (- publics_body_width publics_body_kid_1_x) publics_body_kid_1_width)))
 (let (($x4070 (or $x4043 (>= (+ ?x4067 publics_body_x) 0.0))))
 (let (($x4065 (or $x4043 (>= (- publics_body_kid_1_x publics_body_x) 0.0))))
 (let ((?x4059 (- (+ (- publics_body_kid_0_hight) publics_body_y) publics_body_kid_0_y)))
 (let (($x4062 (or $x4043 (>= (+ ?x4059 publics_body_hight) 0.0))))
 (let (($x4056 (or $x4043 (>= (+ (- publics_body_y) publics_body_kid_0_y) 0.0))))
 (let ((?x4049 (- (+ (- publics_body_kid_0_x) publics_body_width) publics_body_kid_0_width)))
 (let (($x4052 (or $x4043 (>= (+ ?x4049 publics_body_x) 0.0))))
 (let (($x4046 (or $x4043 (>= (- publics_body_kid_0_x publics_body_x) 0.0))))
 (let (($x4042 (>= publics_body_kid_9_hight 0.0)))
 (let (($x4041 (>= publics_body_kid_9_width 0.0)))
 (let (($x4040 (>= publics_body_kid_9_y 0.0)))
 (let (($x4039 (>= publics_body_kid_9_x 0.0)))
 (let (($x4038 (>= publics_body_kid_8_hight 0.0)))
 (let (($x4037 (>= publics_body_kid_8_width 0.0)))
 (let (($x4036 (>= publics_body_kid_8_y 0.0)))
 (let (($x4035 (>= publics_body_kid_8_x 0.0)))
 (let (($x4034 (>= publics_body_kid_7_hight 0.0)))
 (let (($x4033 (>= publics_body_kid_7_width 0.0)))
 (let (($x4032 (>= publics_body_kid_7_y 0.0)))
 (let (($x4031 (>= publics_body_kid_7_x 0.0)))
 (let (($x4030 (>= publics_body_kid_6_hight 0.0)))
 (let (($x4029 (>= publics_body_kid_6_width 0.0)))
 (let (($x4028 (>= publics_body_kid_6_y 0.0)))
 (let (($x4027 (>= publics_body_kid_6_x 0.0)))
 (let (($x4026 (>= publics_body_kid_5_hight 0.0)))
 (let (($x4025 (>= publics_body_kid_5_width 0.0)))
 (let (($x4024 (>= publics_body_kid_5_y 0.0)))
 (let (($x4023 (>= publics_body_kid_5_x 0.0)))
 (let (($x4022 (>= publics_body_kid_4_hight 0.0)))
 (let (($x4021 (>= publics_body_kid_4_width 0.0)))
 (let (($x4020 (>= publics_body_kid_4_y 0.0)))
 (let (($x4019 (>= publics_body_kid_4_x 0.0)))
 (let (($x4018 (>= publics_body_kid_3_hight 0.0)))
 (let (($x4017 (>= publics_body_kid_3_width 0.0)))
 (let (($x4016 (>= publics_body_kid_3_y 0.0)))
 (let (($x4015 (>= publics_body_kid_3_x 0.0)))
 (let (($x4014 (>= publics_body_kid_2_hight 0.0)))
 (let (($x4013 (>= publics_body_kid_2_width 0.0)))
 (let (($x4012 (>= publics_body_kid_2_y 0.0)))
 (let (($x4011 (>= publics_body_kid_2_x 0.0)))
 (let (($x4010 (>= publics_body_kid_1_hight 0.0)))
 (let (($x4009 (>= publics_body_kid_1_width 0.0)))
 (let (($x4008 (>= publics_body_kid_1_y 0.0)))
 (let (($x4007 (>= publics_body_kid_1_x 0.0)))
 (let (($x4006 (>= publics_body_kid_0_hight 0.0)))
 (let (($x4005 (>= publics_body_kid_0_width 0.0)))
 (let (($x4004 (>= publics_body_kid_0_y 0.0)))
 (let (($x4003 (>= publics_body_kid_0_x 0.0)))
 (let (($x4002 (or $x3871 (= (+ (- publics_cap_x) publics_cap_kid_0_x) 0.0))))
 (let ((?x3950 (- (- publics_cap_kid_3_x publics_cap_kid_2_x) publics_cap_kid_2_width)))
 (let (($x4000 (or $x3871 (= ?x3950 0.0))))
 (let ((?x3946 (- (- publics_cap_kid_2_x publics_cap_kid_1_x) publics_cap_kid_1_width)))
 (let (($x3998 (or $x3871 (= ?x3946 0.0))))
 (let ((?x3942 (- (+ (- publics_cap_kid_0_x) publics_cap_kid_1_x) publics_cap_kid_0_width)))
 (let (($x3996 (or $x3871 (= ?x3942 0.0))))
 (let ((?x3992 (- (+ (- publics_cap_kid_3_hight publics_cap_y) publics_cap_kid_3_y) publics_cap_hight)))
 (let (($x3994 (or $x3871 (= ?x3992 0.0))))
 (let (($x3989 (or $x3871 (= (+ (- publics_cap_y) publics_cap_kid_3_y) 0.0))))
 (let ((?x3985 (- (- (+ publics_cap_kid_2_y publics_cap_kid_2_hight) publics_cap_y) publics_cap_hight)))
 (let (($x3987 (or $x3871 (= ?x3985 0.0))))
 (let (($x3982 (or $x3871 (= (- publics_cap_kid_2_y publics_cap_y) 0.0))))
 (let ((?x3978 (- (- (+ publics_cap_kid_1_y publics_cap_kid_1_hight) publics_cap_y) publics_cap_hight)))
 (let (($x3980 (or $x3871 (= ?x3978 0.0))))
 (let (($x3975 (or $x3871 (= (- publics_cap_kid_1_y publics_cap_y) 0.0))))
 (let ((?x3971 (- (- (+ publics_cap_kid_0_y publics_cap_kid_0_hight) publics_cap_y) publics_cap_hight)))
 (let (($x3973 (or $x3871 (= ?x3971 0.0))))
 (let (($x3968 (or $x3871 (= (- publics_cap_kid_0_y publics_cap_y) 0.0))))
 (let (($x3966 (or $x3871 (= publics_cap_kid_0_width 95.0))))
 (let (($x3963 (or $x3871 (= (+ (- publics_cap_kid_3_width) publics_cap_kid_0_width) 0.0))))
 (let (($x3959 (or $x3871 (= (+ (- publics_cap_kid_2_width) publics_cap_kid_0_width) 0.0))))
 (let (($x3955 (or $x3871 (= (- publics_cap_kid_0_width publics_cap_kid_1_width) 0.0))))
 (let (($x3952 (or $x3871 (>= ?x3950 0.0))))
 (let (($x3948 (or $x3871 (>= ?x3946 0.0))))
 (let (($x3944 (or $x3871 (>= ?x3942 0.0))))
 (let ((?x3936 (- (+ (- publics_cap_kid_3_hight) publics_cap_y) publics_cap_kid_3_y)))
 (let (($x3939 (or $x3871 (>= (+ ?x3936 publics_cap_hight) 0.0))))
 (let (($x3933 (or $x3871 (>= (+ (- publics_cap_y) publics_cap_kid_3_y) 0.0))))
 (let ((?x3927 (- (+ (- publics_cap_x publics_cap_kid_3_x) publics_cap_width) publics_cap_kid_3_width)))
 (let (($x3929 (or $x3871 (>= ?x3927 0.0))))
 (let (($x3924 (or $x3871 (>= (+ (- publics_cap_x) publics_cap_kid_3_x) 0.0))))
 (let ((?x3918 (+ (- (- publics_cap_kid_2_y) publics_cap_kid_2_hight) publics_cap_y)))
 (let (($x3921 (or $x3871 (>= (+ ?x3918 publics_cap_hight) 0.0))))
 (let (($x3915 (or $x3871 (>= (- publics_cap_kid_2_y publics_cap_y) 0.0))))
 (let ((?x3910 (- (- (+ publics_cap_x publics_cap_width) publics_cap_kid_2_x) publics_cap_kid_2_width)))
 (let (($x3912 (or $x3871 (>= ?x3910 0.0))))
 (let (($x3908 (or $x3871 (>= (+ (- publics_cap_x) publics_cap_kid_2_x) 0.0))))
 (let ((?x3902 (+ (- (- publics_cap_kid_1_y) publics_cap_kid_1_hight) publics_cap_y)))
 (let (($x3905 (or $x3871 (>= (+ ?x3902 publics_cap_hight) 0.0))))
 (let (($x3899 (or $x3871 (>= (- publics_cap_kid_1_y publics_cap_y) 0.0))))
 (let ((?x3894 (- (- (+ publics_cap_x publics_cap_width) publics_cap_kid_1_x) publics_cap_kid_1_width)))
 (let (($x3896 (or $x3871 (>= ?x3894 0.0))))
 (let (($x3892 (or $x3871 (>= (+ (- publics_cap_x) publics_cap_kid_1_x) 0.0))))
 (let ((?x3886 (+ (- (- publics_cap_kid_0_y) publics_cap_kid_0_hight) publics_cap_y)))
 (let (($x3889 (or $x3871 (>= (+ ?x3886 publics_cap_hight) 0.0))))
 (let (($x3883 (or $x3871 (>= (- publics_cap_kid_0_y publics_cap_y) 0.0))))
 (let ((?x3878 (- (- (+ publics_cap_x publics_cap_width) publics_cap_kid_0_x) publics_cap_kid_0_width)))
 (let (($x3880 (or $x3871 (>= ?x3878 0.0))))
 (let (($x3875 (or $x3871 (>= (+ (- publics_cap_x) publics_cap_kid_0_x) 0.0))))
 (let (($x3870 (>= publics_cap_kid_3_hight 0.0)))
 (let (($x3869 (>= publics_cap_kid_3_width 0.0)))
 (let (($x3868 (>= publics_cap_kid_3_y 0.0)))
 (let (($x3867 (>= publics_cap_kid_3_x 0.0)))
 (let (($x3866 (>= publics_cap_kid_2_hight 0.0)))
 (let (($x3865 (>= publics_cap_kid_2_width 0.0)))
 (let (($x3864 (>= publics_cap_kid_2_y 0.0)))
 (let (($x3863 (>= publics_cap_kid_2_x 0.0)))
 (let (($x3862 (>= publics_cap_kid_1_hight 0.0)))
 (let (($x3861 (>= publics_cap_kid_1_width 0.0)))
 (let (($x3860 (>= publics_cap_kid_1_y 0.0)))
 (let (($x3859 (>= publics_cap_kid_1_x 0.0)))
 (let (($x3858 (>= publics_cap_kid_0_hight 0.0)))
 (let (($x3857 (>= publics_cap_kid_0_width 0.0)))
 (let (($x3856 (>= publics_cap_kid_0_y 0.0)))
 (let (($x3855 (>= publics_cap_kid_0_x 0.0)))
 (let (($x3854 (or $x1698 (= (- news_y publics_y) 0.0))))
 (let (($x3851 (or $x3791 (= (- (- publics_body_y publics_cap_y) publics_cap_hight) 0.0))))
 (let (($x3849 (or $x3791 (= publics_cap_hight 60.0))))
 (let ((?x3845 (- (+ (+ (- publics_hight) publics_body_y) publics_body_hight) publics_y)))
 (let (($x3847 (or $x3791 (= ?x3845 0.0))))
 (let (($x3842 (or $x3791 (= (- publics_cap_y publics_y) 0.0))))
 (let ((?x3838 (+ (- (+ (- publics_x) publics_body_width) publics_width) publics_body_x)))
 (let (($x3840 (or $x3791 (= ?x3838 0.0))))
 (let ((?x3833 (- (+ (+ (- publics_x) publics_cap_x) publics_cap_width) publics_width)))
 (let (($x3835 (or $x3791 (= ?x3833 0.0))))
 (let (($x3831 (or $x3791 (= (+ (- publics_x) publics_body_x) 0.0))))
 (let (($x3829 (or $x3791 (= (+ (- publics_x) publics_cap_x) 0.0))))
 (let (($x3827 (or $x3791 (>= (- (- publics_body_y publics_cap_y) publics_cap_hight) 0.0))))
 (let ((?x3821 (+ (- (- publics_hight publics_body_y) publics_body_hight) publics_y)))
 (let (($x3823 (or $x3791 (>= ?x3821 0.0))))
 (let (($x3818 (or $x3791 (>= (- publics_body_y publics_y) 0.0))))
 (let ((?x3813 (- (+ (- publics_x publics_body_width) publics_width) publics_body_x)))
 (let (($x3815 (or $x3791 (>= ?x3813 0.0))))
 (let (($x3810 (or $x3791 (>= (+ (- publics_x) publics_body_x) 0.0))))
 (let ((?x3805 (- (+ (- publics_hight publics_cap_y) publics_y) publics_cap_hight)))
 (let (($x3807 (or $x3791 (>= ?x3805 0.0))))
 (let (($x3802 (or $x3791 (>= (- publics_cap_y publics_y) 0.0))))
 (let ((?x3797 (+ (- (- publics_x publics_cap_x) publics_cap_width) publics_width)))
 (let (($x3799 (or $x3791 (>= ?x3797 0.0))))
 (let (($x3794 (or $x3791 (>= (+ (- publics_x) publics_cap_x) 0.0))))
 (let (($x3790 (>= publics_body_hight 0.0)))
 (let (($x3789 (>= publics_body_width 0.0)))
 (let (($x3788 (>= publics_body_y 0.0)))
 (let (($x3787 (>= publics_body_x 0.0)))
 (let (($x3786 (>= publics_cap_hight 0.0)))
 (let (($x3785 (>= publics_cap_width 0.0)))
 (let (($x3784 (>= publics_cap_y 0.0)))
 (let (($x3783 (>= publics_cap_x 0.0)))
 (let (($x3782 (or $x3752 (= (- progress_cap_kid_0_x progress_cap_x) 0.0))))
 (let ((?x3778 (+ (- (- progress_cap_kid_0_hight progress_cap_y) progress_cap_hight) progress_cap_kid_0_y)))
 (let (($x3780 (or $x3752 (= ?x3778 0.0))))
 (let (($x3775 (or $x3752 (= (+ (- progress_cap_y) progress_cap_kid_0_y) 0.0))))
 (let (($x3773 (or $x3752 (= progress_cap_kid_0_width 100.0))))
 (let ((?x3768 (+ (+ (- progress_cap_kid_0_hight) progress_cap_y) progress_cap_hight)))
 (let (($x3771 (or $x3752 (>= (- ?x3768 progress_cap_kid_0_y) 0.0))))
 (let (($x3765 (or $x3752 (>= (+ (- progress_cap_y) progress_cap_kid_0_y) 0.0))))
 (let ((?x3758 (- (+ (- progress_cap_kid_0_x) progress_cap_width) progress_cap_kid_0_width)))
 (let (($x3761 (or $x3752 (>= (+ ?x3758 progress_cap_x) 0.0))))
 (let (($x3755 (or $x3752 (>= (- progress_cap_kid_0_x progress_cap_x) 0.0))))
 (let (($x3751 (>= progress_cap_kid_0_hight 0.0)))
 (let (($x3750 (>= progress_cap_kid_0_width 0.0)))
 (let (($x3749 (>= progress_cap_kid_0_y 0.0)))
 (let (($x3748 (>= progress_cap_kid_0_x 0.0)))
 (let ((?x3623 (+ (- (- progress_body_kid_8_y) progress_body_kid_8_hight) progress_body_kid_9_y)))
 (let (($x3747 (or $x3414 (= ?x3623 0.0))))
 (let ((?x3619 (- (- progress_body_kid_8_y progress_body_kid_7_y) progress_body_kid_7_hight)))
 (let (($x3745 (or $x3414 (= ?x3619 0.0))))
 (let ((?x3615 (- (+ (- progress_body_kid_6_y) progress_body_kid_7_y) progress_body_kid_6_hight)))
 (let (($x3743 (or $x3414 (= ?x3615 0.0))))
 (let ((?x3610 (- (- progress_body_kid_6_y progress_body_kid_5_y) progress_body_kid_5_hight)))
 (let (($x3741 (or $x3414 (= ?x3610 0.0))))
 (let ((?x3606 (- (+ (- progress_body_kid_4_hight) progress_body_kid_5_y) progress_body_kid_4_y)))
 (let (($x3739 (or $x3414 (= ?x3606 0.0))))
 (let ((?x3482 (- (- progress_body_kid_3_y) progress_body_kid_3_hight)))
 (let ((?x3602 (+ ?x3482 progress_body_kid_4_y)))
 (let (($x3737 (or $x3414 (= ?x3602 0.0))))
 (let ((?x3599 (- (- progress_body_kid_3_y progress_body_kid_2_hight) progress_body_kid_2_y)))
 (let (($x3735 (or $x3414 (= ?x3599 0.0))))
 (let ((?x3595 (+ (- (- progress_body_kid_1_y) progress_body_kid_1_hight) progress_body_kid_2_y)))
 (let (($x3733 (or $x3414 (= ?x3595 0.0))))
 (let ((?x3591 (- (- progress_body_kid_1_y progress_body_kid_0_y) progress_body_kid_0_hight)))
 (let (($x3731 (or $x3414 (= ?x3591 0.0))))
 (let ((?x3727 (+ (- (- progress_body_kid_9_hight progress_body_y) progress_body_hight) progress_body_kid_9_y)))
 (let (($x3729 (or $x3414 (= ?x3727 0.0))))
 (let (($x3724 (or $x3414 (= (+ (- progress_body_y) progress_body_kid_0_y) 0.0))))
 (let ((?x3719 (- (+ progress_body_kid_9_x progress_body_kid_9_width) progress_body_x)))
 (let (($x3722 (or $x3414 (= (- ?x3719 progress_body_width) 0.0))))
 (let (($x3717 (or $x3414 (= (- progress_body_kid_9_x progress_body_x) 0.0))))
 (let ((?x3554 (- progress_body_kid_8_x progress_body_x)))
 (let (($x3715 (or $x3414 (= (- (+ ?x3554 progress_body_kid_8_width) progress_body_width) 0.0))))
 (let (($x3711 (or $x3414 (= ?x3554 0.0))))
 (let ((?x3415 (- progress_body_x)))
 (let ((?x3538 (+ ?x3415 progress_body_kid_7_x)))
 (let (($x3709 (or $x3414 (= (+ (- ?x3538 progress_body_width) progress_body_kid_7_width) 0.0))))
 (let (($x3705 (or $x3414 (= ?x3538 0.0))))
 (let ((?x3701 (+ (- (+ ?x3415 progress_body_kid_6_x) progress_body_width) progress_body_kid_6_width)))
 (let (($x3703 (or $x3414 (= ?x3701 0.0))))
 (let (($x3699 (or $x3414 (= (+ ?x3415 progress_body_kid_6_x) 0.0))))
 (let ((?x3695 (+ (- (- progress_body_kid_5_width progress_body_x) progress_body_width) progress_body_kid_5_x)))
 (let (($x3697 (or $x3414 (= ?x3695 0.0))))
 (let (($x3692 (or $x3414 (= (+ ?x3415 progress_body_kid_5_x) 0.0))))
 (let ((?x3687 (- (+ progress_body_kid_4_x progress_body_kid_4_width) progress_body_x)))
 (let (($x3690 (or $x3414 (= (- ?x3687 progress_body_width) 0.0))))
 (let (($x3685 (or $x3414 (= (- progress_body_kid_4_x progress_body_x) 0.0))))
 (let ((?x3680 (- (+ progress_body_kid_3_x progress_body_kid_3_width) progress_body_x)))
 (let (($x3683 (or $x3414 (= (- ?x3680 progress_body_width) 0.0))))
 (let (($x3678 (or $x3414 (= (- progress_body_kid_3_x progress_body_x) 0.0))))
 (let ((?x3673 (- (+ progress_body_kid_2_x progress_body_kid_2_width) progress_body_x)))
 (let (($x3676 (or $x3414 (= (- ?x3673 progress_body_width) 0.0))))
 (let (($x3671 (or $x3414 (= (- progress_body_kid_2_x progress_body_x) 0.0))))
 (let ((?x3433 (- progress_body_kid_1_x progress_body_x)))
 (let (($x3669 (or $x3414 (= (- (+ ?x3433 progress_body_kid_1_width) progress_body_width) 0.0))))
 (let (($x3665 (or $x3414 (= ?x3433 0.0))))
 (let ((?x3661 (+ (- (+ ?x3415 progress_body_kid_0_x) progress_body_width) progress_body_kid_0_width)))
 (let (($x3663 (or $x3414 (= ?x3661 0.0))))
 (let (($x3659 (or $x3414 (= (+ ?x3415 progress_body_kid_0_x) 0.0))))
 (let (($x3657 (or $x3414 (= progress_body_kid_0_hight 35.0))))
 (let (($x3655 (or $x3414 (= (+ (- progress_body_kid_9_hight) progress_body_kid_0_hight) 0.0))))
 (let (($x3652 (or $x3414 (= (+ (- progress_body_kid_8_hight) progress_body_kid_0_hight) 0.0))))
 (let (($x3648 (or $x3414 (= (- progress_body_kid_0_hight progress_body_kid_7_hight) 0.0))))
 (let (($x3645 (or $x3414 (= (- progress_body_kid_0_hight progress_body_kid_6_hight) 0.0))))
 (let (($x3642 (or $x3414 (= (- progress_body_kid_0_hight progress_body_kid_5_hight) 0.0))))
 (let (($x3639 (or $x3414 (= (+ (- progress_body_kid_4_hight) progress_body_kid_0_hight) 0.0))))
 (let (($x3636 (or $x3414 (= (+ (- progress_body_kid_3_hight) progress_body_kid_0_hight) 0.0))))
 (let (($x3632 (or $x3414 (= (+ (- progress_body_kid_2_hight) progress_body_kid_0_hight) 0.0))))
 (let (($x3629 (or $x3414 (= (+ (- progress_body_kid_1_hight) progress_body_kid_0_hight) 0.0))))
 (let (($x3625 (or $x3414 (>= ?x3623 0.0))))
 (let (($x3621 (or $x3414 (>= ?x3619 0.0))))
 (let (($x3617 (or $x3414 (>= ?x3615 0.0))))
 (let (($x3612 (or $x3414 (>= ?x3610 0.0))))
 (let (($x3608 (or $x3414 (>= ?x3606 0.0))))
 (let (($x3604 (or $x3414 (>= ?x3602 0.0))))
 (let (($x3601 (or $x3414 (>= ?x3599 0.0))))
 (let (($x3597 (or $x3414 (>= ?x3595 0.0))))
 (let (($x3593 (or $x3414 (>= ?x3591 0.0))))
 (let ((?x3586 (+ (+ (- progress_body_kid_9_hight) progress_body_y) progress_body_hight)))
 (let (($x3589 (or $x3414 (>= (- ?x3586 progress_body_kid_9_y) 0.0))))
 (let (($x3583 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_9_y) 0.0))))
 (let ((?x3577 (+ (- (- progress_body_kid_9_x) progress_body_kid_9_width) progress_body_x)))
 (let (($x3580 (or $x3414 (>= (+ ?x3577 progress_body_width) 0.0))))
 (let (($x3574 (or $x3414 (>= (- progress_body_kid_9_x progress_body_x) 0.0))))
 (let ((?x3568 (- (+ (- progress_body_kid_8_y) progress_body_y) progress_body_kid_8_hight)))
 (let (($x3571 (or $x3414 (>= (+ ?x3568 progress_body_hight) 0.0))))
 (let (($x3565 (or $x3414 (>= (- progress_body_kid_8_y progress_body_y) 0.0))))
 (let ((?x3559 (- (+ (- progress_body_kid_8_x) progress_body_x) progress_body_kid_8_width)))
 (let (($x3562 (or $x3414 (>= (+ ?x3559 progress_body_width) 0.0))))
 (let (($x3556 (or $x3414 (>= ?x3554 0.0))))
 (let ((?x3550 (- (- progress_body_y progress_body_kid_7_y) progress_body_kid_7_hight)))
 (let (($x3553 (or $x3414 (>= (+ ?x3550 progress_body_hight) 0.0))))
 (let (($x3548 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_7_y) 0.0))))
 (let ((?x3543 (- (+ (- progress_body_x progress_body_kid_7_x) progress_body_width) progress_body_kid_7_width)))
 (let (($x3545 (or $x3414 (>= ?x3543 0.0))))
 (let (($x3540 (or $x3414 (>= ?x3538 0.0))))
 (let ((?x3535 (- (+ (- progress_body_y progress_body_kid_6_y) progress_body_hight) progress_body_kid_6_hight)))
 (let (($x3537 (or $x3414 (>= ?x3535 0.0))))
 (let (($x3532 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_6_y) 0.0))))
 (let ((?x3527 (- (+ (- progress_body_x progress_body_kid_6_x) progress_body_width) progress_body_kid_6_width)))
 (let (($x3529 (or $x3414 (>= ?x3527 0.0))))
 (let (($x3524 (or $x3414 (>= (+ ?x3415 progress_body_kid_6_x) 0.0))))
 (let ((?x3519 (- (+ (- progress_body_y progress_body_kid_5_y) progress_body_hight) progress_body_kid_5_hight)))
 (let (($x3521 (or $x3414 (>= ?x3519 0.0))))
 (let (($x3516 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_5_y) 0.0))))
 (let ((?x3510 (+ (+ (- progress_body_kid_5_width) progress_body_x) progress_body_width)))
 (let (($x3513 (or $x3414 (>= (- ?x3510 progress_body_kid_5_x) 0.0))))
 (let (($x3507 (or $x3414 (>= (+ ?x3415 progress_body_kid_5_x) 0.0))))
 (let ((?x3501 (+ (+ (- progress_body_kid_4_hight) progress_body_y) progress_body_hight)))
 (let (($x3504 (or $x3414 (>= (- ?x3501 progress_body_kid_4_y) 0.0))))
 (let (($x3498 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_4_y) 0.0))))
 (let ((?x3492 (+ (- (- progress_body_kid_4_x) progress_body_kid_4_width) progress_body_x)))
 (let (($x3495 (or $x3414 (>= (+ ?x3492 progress_body_width) 0.0))))
 (let (($x3489 (or $x3414 (>= (- progress_body_kid_4_x progress_body_x) 0.0))))
 (let (($x3486 (or $x3414 (>= (+ (+ ?x3482 progress_body_y) progress_body_hight) 0.0))))
 (let (($x3480 (or $x3414 (>= (- progress_body_kid_3_y progress_body_y) 0.0))))
 (let ((?x3474 (+ (- (- progress_body_kid_3_x) progress_body_kid_3_width) progress_body_x)))
 (let (($x3477 (or $x3414 (>= (+ ?x3474 progress_body_width) 0.0))))
 (let (($x3471 (or $x3414 (>= (- progress_body_kid_3_x progress_body_x) 0.0))))
 (let ((?x3465 (+ (+ (- progress_body_kid_2_hight) progress_body_y) progress_body_hight)))
 (let (($x3468 (or $x3414 (>= (- ?x3465 progress_body_kid_2_y) 0.0))))
 (let (($x3462 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_2_y) 0.0))))
 (let ((?x3456 (+ (- (- progress_body_kid_2_x) progress_body_kid_2_width) progress_body_x)))
 (let (($x3459 (or $x3414 (>= (+ ?x3456 progress_body_width) 0.0))))
 (let (($x3453 (or $x3414 (>= (- progress_body_kid_2_x progress_body_x) 0.0))))
 (let ((?x3447 (- (+ (- progress_body_kid_1_y) progress_body_y) progress_body_kid_1_hight)))
 (let (($x3450 (or $x3414 (>= (+ ?x3447 progress_body_hight) 0.0))))
 (let (($x3444 (or $x3414 (>= (- progress_body_kid_1_y progress_body_y) 0.0))))
 (let ((?x3438 (- (+ (- progress_body_kid_1_x) progress_body_x) progress_body_kid_1_width)))
 (let (($x3441 (or $x3414 (>= (+ ?x3438 progress_body_width) 0.0))))
 (let (($x3435 (or $x3414 (>= ?x3433 0.0))))
 (let ((?x3429 (- (- progress_body_y progress_body_kid_0_y) progress_body_kid_0_hight)))
 (let (($x3432 (or $x3414 (>= (+ ?x3429 progress_body_hight) 0.0))))
 (let (($x3427 (or $x3414 (>= (+ (- progress_body_y) progress_body_kid_0_y) 0.0))))
 (let ((?x3421 (- (+ (- progress_body_x progress_body_kid_0_x) progress_body_width) progress_body_kid_0_width)))
 (let (($x3423 (or $x3414 (>= ?x3421 0.0))))
 (let (($x3418 (or $x3414 (>= (+ ?x3415 progress_body_kid_0_x) 0.0))))
 (let (($x3413 (>= progress_body_kid_9_hight 0.0)))
 (let (($x3412 (>= progress_body_kid_9_width 0.0)))
 (let (($x3411 (>= progress_body_kid_9_y 0.0)))
 (let (($x3410 (>= progress_body_kid_9_x 0.0)))
 (let (($x3409 (>= progress_body_kid_8_hight 0.0)))
 (let (($x3408 (>= progress_body_kid_8_width 0.0)))
 (let (($x3407 (>= progress_body_kid_8_y 0.0)))
 (let (($x3406 (>= progress_body_kid_8_x 0.0)))
 (let (($x3405 (>= progress_body_kid_7_hight 0.0)))
 (let (($x3404 (>= progress_body_kid_7_width 0.0)))
 (let (($x3403 (>= progress_body_kid_7_y 0.0)))
 (let (($x3402 (>= progress_body_kid_7_x 0.0)))
 (let (($x3401 (>= progress_body_kid_6_hight 0.0)))
 (let (($x3400 (>= progress_body_kid_6_width 0.0)))
 (let (($x3399 (>= progress_body_kid_6_y 0.0)))
 (let (($x3398 (>= progress_body_kid_6_x 0.0)))
 (let (($x3397 (>= progress_body_kid_5_hight 0.0)))
 (let (($x3396 (>= progress_body_kid_5_width 0.0)))
 (let (($x3395 (>= progress_body_kid_5_y 0.0)))
 (let (($x3394 (>= progress_body_kid_5_x 0.0)))
 (let (($x3393 (>= progress_body_kid_4_hight 0.0)))
 (let (($x3392 (>= progress_body_kid_4_width 0.0)))
 (let (($x3391 (>= progress_body_kid_4_y 0.0)))
 (let (($x3390 (>= progress_body_kid_4_x 0.0)))
 (let (($x3389 (>= progress_body_kid_3_hight 0.0)))
 (let (($x3388 (>= progress_body_kid_3_width 0.0)))
 (let (($x3387 (>= progress_body_kid_3_y 0.0)))
 (let (($x3386 (>= progress_body_kid_3_x 0.0)))
 (let (($x3385 (>= progress_body_kid_2_hight 0.0)))
 (let (($x3384 (>= progress_body_kid_2_width 0.0)))
 (let (($x3383 (>= progress_body_kid_2_y 0.0)))
 (let (($x3382 (>= progress_body_kid_2_x 0.0)))
 (let (($x3381 (>= progress_body_kid_1_hight 0.0)))
 (let (($x3380 (>= progress_body_kid_1_width 0.0)))
 (let (($x3379 (>= progress_body_kid_1_y 0.0)))
 (let (($x3378 (>= progress_body_kid_1_x 0.0)))
 (let (($x3377 (>= progress_body_kid_0_hight 0.0)))
 (let (($x3376 (>= progress_body_kid_0_width 0.0)))
 (let (($x3375 (>= progress_body_kid_0_y 0.0)))
 (let (($x3374 (>= progress_body_kid_0_x 0.0)))
 (let ((?x3346 (- (- progress_body_y progress_cap_y) progress_cap_hight)))
 (let (($x3373 (or $x3311 (= ?x3346 0.0))))
 (let (($x3371 (or $x3311 (= progress_cap_hight 60.0))))
 (let ((?x3367 (- (+ (+ (- progress_hight) progress_body_y) progress_body_hight) progress_y)))
 (let (($x3369 (or $x3311 (= ?x3367 0.0))))
 (let (($x3364 (or $x3311 (= (- progress_cap_y progress_y) 0.0))))
 (let ((?x3360 (+ (+ (- (- progress_x) progress_width) progress_body_x) progress_body_width)))
 (let (($x3362 (or $x3311 (= ?x3360 0.0))))
 (let ((?x3355 (+ (- (- progress_cap_width progress_x) progress_width) progress_cap_x)))
 (let (($x3357 (or $x3311 (= ?x3355 0.0))))
 (let (($x3352 (or $x3311 (= (+ (- progress_x) progress_body_x) 0.0))))
 (let (($x3350 (or $x3311 (= (+ (- progress_x) progress_cap_x) 0.0))))
 (let (($x3348 (or $x3311 (>= ?x3346 0.0))))
 (let ((?x3342 (+ (- (- progress_hight progress_body_y) progress_body_hight) progress_y)))
 (let (($x3344 (or $x3311 (>= ?x3342 0.0))))
 (let (($x3339 (or $x3311 (>= (- progress_body_y progress_y) 0.0))))
 (let ((?x3334 (- (- (+ progress_x progress_width) progress_body_x) progress_body_width)))
 (let (($x3336 (or $x3311 (>= ?x3334 0.0))))
 (let (($x3331 (or $x3311 (>= (+ (- progress_x) progress_body_x) 0.0))))
 (let ((?x3326 (+ (- (- progress_hight progress_cap_y) progress_cap_hight) progress_y)))
 (let (($x3328 (or $x3311 (>= ?x3326 0.0))))
 (let (($x3323 (or $x3311 (>= (- progress_cap_y progress_y) 0.0))))
 (let ((?x3318 (- (+ (+ (- progress_cap_width) progress_x) progress_width) progress_cap_x)))
 (let (($x3320 (or $x3311 (>= ?x3318 0.0))))
 (let (($x3314 (or $x3311 (>= (+ (- progress_x) progress_cap_x) 0.0))))
 (let (($x3310 (>= progress_body_hight 0.0)))
 (let (($x3309 (>= progress_body_width 0.0)))
 (let (($x3308 (>= progress_body_y 0.0)))
 (let (($x3307 (>= progress_body_x 0.0)))
 (let (($x3306 (>= progress_cap_hight 0.0)))
 (let (($x3305 (>= progress_cap_width 0.0)))
 (let (($x3304 (>= progress_cap_y 0.0)))
 (let (($x3303 (>= progress_cap_x 0.0)))
 (let ((?x3299 (+ (- (* 2.0 fast_content_0_y) (* 2.0 fast2_y)) fast_content_0_hight)))
 (let (($x3302 (or $x2941 (= (- ?x3299 fast2_hight) 0.0))))
 (let ((?x3158 (* 2.0 fast_content_3_y)))
 (let ((?x3293 (+ (+ (- fast_content_3_hight) (* 2.0 fast_content_0_y)) fast_content_0_hight)))
 (let (($x3296 (or $x2941 (= (- ?x3293 ?x3158) 0.0))))
 (let ((?x3288 (- (+ (* (- 2.0) fast_content_2_y) (* 2.0 fast_content_0_y)) fast_content_2_hight)))
 (let (($x3291 (or $x2941 (= (+ ?x3288 fast_content_0_hight) 0.0))))
 (let ((?x3282 (- (+ (* (- 2.0) fast_content_1_y) (* 2.0 fast_content_0_y)) fast_content_1_hight)))
 (let (($x3285 (or $x2941 (= (+ ?x3282 fast_content_0_hight) 0.0))))
 (let (($x3279 (= fast2_hight 100.0)))
 (let ((?x3274 (+ (- (- fast_content_3_x fast_content_1_x) fast_content_2_x) fast_content_0_x)))
 (let (($x3278 (or $x2941 (= (+ (- ?x3274 fast_content_2_width) fast_content_0_width) 0.0))))
 (let ((?x3267 (+ (+ (* (- 2.0) fast_content_1_x) fast_content_2_x) fast_content_0_x)))
 (let (($x3271 (or $x2941 (= (+ (- ?x3267 fast_content_1_width) fast_content_0_width) 0.0))))
 (let ((?x3262 (- (- (+ fast_content_3_x fast_content_3_width) fast2_x) fast2_width)))
 (let (($x3264 (or $x2941 (= ?x3262 0.0))))
 (let (($x3259 (or $x2941 (= (- fast_content_0_x fast2_x) 0.0))))
 (let (($x3256 (>= (- (- fast_content_3_x fast_content_2_x) fast_content_2_width) 0.0)))
 (let (($x3257 (or $x2941 $x3256)))
 (let (($x3252 (>= (- (+ (- fast_content_1_x) fast_content_2_x) fast_content_1_width) 0.0)))
 (let (($x3253 (or $x2941 $x3252)))
 (let (($x3248 (>= (- (- fast_content_1_x fast_content_0_x) fast_content_0_width) 0.0)))
 (let (($x3249 (or $x2941 $x3248)))
 (let ((?x3243 (- (+ (+ (- fast_content_3_hight) fast2_y) fast2_hight) fast_content_3_y)))
 (let (($x3245 (or $x2941 (>= ?x3243 0.0))))
 (let (($x3239 (or $x2941 (>= (+ (- fast2_y) fast_content_3_y) 0.0))))
 (let ((?x3233 (+ (+ (- (- fast_content_3_x) fast_content_3_width) fast2_x) fast2_width)))
 (let (($x3235 (or $x2941 (>= ?x3233 0.0))))
 (let (($x3229 (or $x2941 (>= (- fast_content_3_x fast2_x) 0.0))))
 (let ((?x3224 (+ (+ (- (- fast_content_2_y) fast_content_2_hight) fast2_y) fast2_hight)))
 (let (($x3226 (or $x2941 (>= ?x3224 0.0))))
 (let (($x3220 (or $x2941 (>= (- fast_content_2_y fast2_y) 0.0))))
 (let ((?x3215 (+ (+ (- (- fast_content_2_x) fast_content_2_width) fast2_x) fast2_width)))
 (let (($x3217 (or $x2941 (>= ?x3215 0.0))))
 (let (($x3211 (or $x2941 (>= (- fast_content_2_x fast2_x) 0.0))))
 (let ((?x3206 (+ (+ (- (- fast_content_1_y) fast_content_1_hight) fast2_y) fast2_hight)))
 (let (($x3208 (or $x2941 (>= ?x3206 0.0))))
 (let (($x3202 (or $x2941 (>= (- fast_content_1_y fast2_y) 0.0))))
 (let ((?x3197 (+ (+ (- (- fast_content_1_x) fast_content_1_width) fast2_x) fast2_width)))
 (let (($x3199 (or $x2941 (>= ?x3197 0.0))))
 (let (($x3193 (or $x2941 (>= (- fast_content_1_x fast2_x) 0.0))))
 (let ((?x3188 (+ (- (+ (- fast_content_0_y) fast2_y) fast_content_0_hight) fast2_hight)))
 (let (($x3190 (or $x2941 (>= ?x3188 0.0))))
 (let (($x3184 (or $x2941 (>= (- fast_content_0_y fast2_y) 0.0))))
 (let ((?x3179 (+ (- (+ (- fast_content_0_x) fast2_x) fast_content_0_width) fast2_width)))
 (let (($x3181 (or $x2941 (>= ?x3179 0.0))))
 (let (($x3175 (or $x2941 (>= (- fast_content_0_x fast2_x) 0.0))))
 (let (($x3172 (= (+ (- 80.0) fast_content_3_hight) 0.0)))
 (let (($x3170 (= (+ (- 150.0) fast_content_3_width) 0.0)))
 (let ((?x3165 (+ (+ (* (- 2.0) fast_kid_3_x) (* 2.0 fast_content_3_x)) fast_content_3_width)))
 (let (($x3168 (or $x2925 (= (- ?x3165 fast_kid_3_width) 0.0))))
 (let ((?x3156 (* 2.0 fast_kid_3_y)))
 (let (($x3160 (= (+ (- (- fast_content_3_hight fast_kid_3_hight) ?x3156) ?x3158) 0.0)))
 (let (($x3161 (or $x2925 $x3160)))
 (let (($x3154 (>= fast_content_3_hight 0.0)))
 (let (($x3153 (>= fast_content_3_width 0.0)))
 (let (($x3152 (>= fast_content_3_y 0.0)))
 (let (($x3151 (>= fast_content_3_x 0.0)))
 (let (($x3150 (= (+ (- 80.0) fast_content_2_hight) 0.0)))
 (let (($x3148 (= (+ (- 150.0) fast_content_2_width) 0.0)))
 (let ((?x3143 (- (+ (* (- 2.0) fast_kid_2_x) (* 2.0 fast_content_2_x)) fast_kid_2_width)))
 (let (($x3146 (or $x2925 (= (+ ?x3143 fast_content_2_width) 0.0))))
 (let ((?x3136 (* 2.0 fast_kid_2_y)))
 (let ((?x3135 (+ (- (* 2.0 fast_content_2_y) fast_kid_2_hight) fast_content_2_hight)))
 (let (($x3139 (or $x2925 (= (- ?x3135 ?x3136) 0.0))))
 (let (($x3132 (>= fast_content_2_hight 0.0)))
 (let (($x3131 (>= fast_content_2_width 0.0)))
 (let (($x3130 (>= fast_content_2_y 0.0)))
 (let (($x3129 (>= fast_content_2_x 0.0)))
 (let (($x3128 (= (+ (- 80.0) fast_content_1_hight) 0.0)))
 (let (($x3126 (= (+ (- 150.0) fast_content_1_width) 0.0)))
 (let ((?x3121 (+ (- (* 2.0 fast_content_1_x) (* 2.0 fast_kid_1_x)) fast_content_1_width)))
 (let (($x3124 (or $x2925 (= (- ?x3121 fast_kid_1_width) 0.0))))
 (let ((?x3114 (+ (- (* 2.0 fast_content_1_y) (* 2.0 fast_kid_1_y)) fast_content_1_hight)))
 (let (($x3117 (or $x2925 (= (- ?x3114 fast_kid_1_hight) 0.0))))
 (let (($x3110 (>= fast_content_1_hight 0.0)))
 (let (($x3109 (>= fast_content_1_width 0.0)))
 (let (($x3108 (>= fast_content_1_y 0.0)))
 (let (($x3107 (>= fast_content_1_x 0.0)))
 (let (($x3106 (= (+ (- 80.0) fast_content_0_hight) 0.0)))
 (let (($x3103 (= (+ (- 150.0) fast_content_0_width) 0.0)))
 (let ((?x3096 (* 2.0 fast_kid_0_x)))
 (let ((?x3098 (+ (- (+ (- fast_kid_0_width) (* 2.0 fast_content_0_x)) ?x3096) fast_content_0_width)))
 (let (($x3100 (or $x2925 (= ?x3098 0.0))))
 (let ((?x3090 (+ (- (* 2.0 fast_content_0_y) (* 2.0 fast_kid_0_y)) fast_content_0_hight)))
 (let (($x3093 (or $x2925 (= (- ?x3090 fast_kid_0_hight) 0.0))))
 (let (($x3086 (>= fast_content_0_hight 0.0)))
 (let (($x3085 (>= fast_content_0_width 0.0)))
 (let (($x3084 (>= fast_content_0_y 0.0)))
 (let (($x3083 (>= fast_content_0_x 0.0)))
 (let (($x3081 (= (- (+ (- fast_width fast_kid_1_x) fast_x) fast_max_width_1) 0.0)))
 (let (($x3082 (or $x2925 $x3081)))
 (let (($x3077 (or $x2925 (= (- (+ (- fast_max_width_0) fast_kid_1_x) fast_kid_0_x) 0.0))))
 (let (($x3072 (or $x2925 (= (- fast_kid_0_x fast_x) 0.0))))
 (let (($x3068 (= (- (- (+ fast_y fast_hight) fast_max_hight_1) fast_kid_2_y) 0.0)))
 (let (($x3069 (or $x2925 $x3068)))
 (let (($x3064 (or $x2925 (= (+ (- (- fast_max_hight_0) fast_kid_0_y) fast_kid_2_y) 0.0))))
 (let (($x3059 (or $x2925 (= (- fast_kid_0_y fast_y) 0.0))))
 (let (($x3056 (or $x2925 (= (- fast_kid_3_hight fast_kid_0_hight) 0.0))))
 (let (($x3053 (or $x2925 (= (+ (- fast_kid_0_width) fast_kid_3_width) 0.0))))
 (let (($x3050 (or $x2925 (= (- fast_kid_2_hight fast_kid_0_hight) 0.0))))
 (let (($x3047 (or $x2925 (= (+ (- fast_kid_0_width) fast_kid_2_width) 0.0))))
 (let (($x3044 (or $x2925 (= (- fast_kid_1_hight fast_kid_0_hight) 0.0))))
 (let (($x3041 (or $x2925 (= (+ (- fast_kid_0_width) fast_kid_1_width) 0.0))))
 (let (($x3038 (or $x2925 (= (+ (- fast_kid_1_width) fast_max_width_1) 0.0) (= (+ (- fast_kid_3_width) fast_max_width_1) 0.0))))
 (let (($x3035 (or $x2925 (>= (+ (- fast_kid_3_width) fast_max_width_1) 0.0))))
 (let (($x3031 (or $x2925 (>= (+ (- fast_kid_1_width) fast_max_width_1) 0.0))))
 (let (($x3027 (>= fast_max_width_1 0.0)))
 (let (($x3026 (or $x2925 (= (+ (- fast_kid_0_width) fast_max_width_0) 0.0) (= (- fast_max_width_0 fast_kid_2_width) 0.0))))
 (let (($x3023 (or $x2925 (>= (- fast_max_width_0 fast_kid_2_width) 0.0))))
 (let (($x3020 (or $x2925 (>= (+ (- fast_kid_0_width) fast_max_width_0) 0.0))))
 (let (($x3016 (>= fast_max_width_0 0.0)))
 (let (($x3015 (or $x2925 (= (+ (- fast_kid_2_hight) fast_max_hight_1) 0.0) (= (+ (- fast_kid_3_hight) fast_max_hight_1) 0.0))))
 (let (($x3012 (or $x2925 (>= (+ (- fast_kid_3_hight) fast_max_hight_1) 0.0))))
 (let (($x3008 (or $x2925 (>= (+ (- fast_kid_2_hight) fast_max_hight_1) 0.0))))
 (let (($x3004 (>= fast_max_hight_1 0.0)))
 (let (($x3003 (or $x2925 (= (- fast_max_hight_0 fast_kid_0_hight) 0.0) (= (- fast_max_hight_0 fast_kid_1_hight) 0.0))))
 (let (($x3000 (or $x2925 (>= (- fast_max_hight_0 fast_kid_1_hight) 0.0))))
 (let (($x2997 (or $x2925 (>= (- fast_max_hight_0 fast_kid_0_hight) 0.0))))
 (let (($x2994 (>= fast_max_hight_0 0.0)))
 (let (($x2993 (or $x2925 (= (+ (- fast_kid_3_y) fast_kid_2_y) 0.0))))
 (let (($x2989 (or $x2925 (= (+ (- fast_kid_1_y) fast_kid_0_y) 0.0))))
 (let (($x2985 (or $x2925 (= (+ (- fast_kid_3_x) fast_kid_1_x) 0.0))))
 (let (($x2981 (or $x2925 (= (+ (- fast_kid_2_x) fast_kid_0_x) 0.0))))
 (let (($x2977 (= fast_hight 200.0)))
 (let (($x2975 (>= fast_kid_3_hight 0.0)))
 (let (($x2974 (>= fast_kid_3_width 0.0)))
 (let (($x2973 (>= fast_kid_3_y 0.0)))
 (let (($x2972 (>= fast_kid_3_x 0.0)))
 (let (($x2971 (>= fast_kid_2_hight 0.0)))
 (let (($x2970 (>= fast_kid_2_width 0.0)))
 (let (($x2969 (>= fast_kid_2_y 0.0)))
 (let (($x2968 (>= fast_kid_2_x 0.0)))
 (let (($x2967 (>= fast_kid_1_hight 0.0)))
 (let (($x2966 (>= fast_kid_1_width 0.0)))
 (let (($x2965 (>= fast_kid_1_y 0.0)))
 (let (($x2964 (>= fast_kid_1_x 0.0)))
 (let (($x2963 (>= fast_kid_0_hight 0.0)))
 (let (($x2962 (>= fast_kid_0_width 0.0)))
 (let (($x2961 (>= fast_kid_0_y 0.0)))
 (let (($x2960 (>= fast_kid_0_x 0.0)))
 (let (($x2959 (or $x2925 $x2941 $x2957)))
 (let (($x2958 (or fast_feasible fast2_feasible $x2957)))
 (let (($x2955 (= (- (- (+ fast2_y fast2_hight) fast_holder_y) fast_holder_hight) 0.0)))
 (let (($x2956 (or $x2941 $x2955)))
 (let (($x2951 (or $x2941 (= (- fast2_y fast_holder_y) 0.0))))
 (let ((?x2946 (+ (+ (- (- fast_holder_x) fast_holder_width) fast2_x) fast2_width)))
 (let (($x2948 (or $x2941 (= ?x2946 0.0))))
 (let (($x2944 (or $x2941 (= (+ (- fast_holder_x) fast2_x) 0.0))))
 (let (($x2939 (= (- (+ (- fast_y fast_holder_y) fast_hight) fast_holder_hight) 0.0)))
 (let (($x2940 (or $x2925 $x2939)))
 (let (($x2936 (or $x2925 (= (- fast_y fast_holder_y) 0.0))))
 (let ((?x2931 (+ (- (+ (- fast_holder_x) fast_width) fast_holder_width) fast_x)))
 (let (($x2933 (or $x2925 (= ?x2931 0.0))))
 (let (($x2928 (or $x2925 (= (+ (- fast_holder_x) fast_x) 0.0))))
 (let (($x2924 (>= fast2_hight 0.0)))
 (let (($x2923 (>= fast2_width 0.0)))
 (let (($x2922 (>= fast2_y 0.0)))
 (let (($x2921 (>= fast2_x 0.0)))
 (let (($x2920 (>= fast_hight 0.0)))
 (let (($x2919 (>= fast_width 0.0)))
 (let (($x2918 (>= fast_y 0.0)))
 (let (($x2917 (>= fast_x 0.0)))
 (let (($x2916 (or $x2827 (= ?x2885 10.0))))
 (let (($x2914 (or $x2827 (= (+ (- (- progress_hight) progress_y) publics_y) 10.0))))
 (let ((?x2910 (+ (+ (- (- main_right_y) main_right_hight) fast_holder_y) fast_holder_hight)))
 (let (($x2912 (or $x2827 (= ?x2910 (- 10.0)))))
 (let (($x2908 (or $x2827 (= (+ (- main_right_y) progress_y) 10.0))))
 (let ((?x2904 (- (- (+ fast_holder_x fast_holder_width) main_right_x) main_right_width)))
 (let (($x2906 (or $x2827 (= ?x2904 (- 10.0)))))
 (let (($x2900 (= (- (+ (- publics_x main_right_x) publics_width) main_right_width) (- 10.0))))
 (let (($x2901 (or $x2827 $x2900)))
 (let ((?x2895 (- (+ (- progress_x main_right_x) progress_width) main_right_width)))
 (let (($x2897 (or $x2827 (= ?x2895 (- 10.0)))))
 (let (($x2893 (or $x2827 (= (- fast_holder_x main_right_x) 10.0))))
 (let (($x2891 (or $x2827 (= (- publics_x main_right_x) 10.0))))
 (let (($x2889 (or $x2827 (= (- progress_x main_right_x) 10.0))))
 (let (($x2887 (or $x2827 $x2886)))
 (let (($x2882 (or $x2827 (>= (+ (- (- progress_hight) progress_y) publics_y) 0.0))))
 (let ((?x2875 (- (- (+ main_right_y main_right_hight) fast_holder_y) fast_holder_hight)))
 (let (($x2877 (or $x2827 (>= ?x2875 0.0))))
 (let (($x2873 (or $x2827 (>= (+ (- main_right_y) fast_holder_y) 0.0))))
 (let ((?x2868 (+ (+ (- (- fast_holder_x) fast_holder_width) main_right_x) main_right_width)))
 (let (($x2870 (or $x2827 (>= ?x2868 0.0))))
 (let (($x2864 (or $x2827 (>= (- fast_holder_x main_right_x) 0.0))))
 (let (($x2860 (>= (- (+ (- main_right_y publics_hight) main_right_hight) publics_y) 0.0)))
 (let (($x2861 (or $x2827 $x2860)))
 (let (($x2856 (or $x2827 (>= (+ (- main_right_y) publics_y) 0.0))))
 (let ((?x2851 (+ (- (+ (- publics_x) main_right_x) publics_width) main_right_width)))
 (let (($x2853 (or $x2827 (>= ?x2851 0.0))))
 (let (($x2847 (or $x2827 (>= (- publics_x main_right_x) 0.0))))
 (let ((?x2842 (- (+ (- main_right_y progress_hight) main_right_hight) progress_y)))
 (let (($x2844 (or $x2827 (>= ?x2842 0.0))))
 (let (($x2839 (or $x2827 (>= (+ (- main_right_y) progress_y) 0.0))))
 (let ((?x2834 (+ (- (+ (- progress_x) main_right_x) progress_width) main_right_width)))
 (let (($x2836 (or $x2827 (>= ?x2834 0.0))))
 (let (($x2830 (or $x2827 (>= (- progress_x main_right_x) 0.0))))
 (let (($x2826 (>= fast_holder_hight 0.0)))
 (let (($x2825 (>= fast_holder_width 0.0)))
 (let (($x2824 (>= fast_holder_y 0.0)))
 (let (($x2823 (>= fast_holder_x 0.0)))
 (let (($x2822 (>= publics_hight 0.0)))
 (let (($x2821 (>= publics_width 0.0)))
 (let (($x2820 (>= publics_y 0.0)))
 (let (($x2819 (>= publics_x 0.0)))
 (let (($x2818 (>= progress_hight 0.0)))
 (let (($x2817 (>= progress_width 0.0)))
 (let (($x2816 (>= progress_y 0.0)))
 (let (($x2815 (>= progress_x 0.0)))
 (let ((?x2780 (- (- report_body_kid_6_y report_body_kid_5_y) report_body_kid_5_hight)))
 (let (($x2814 (or $x2583 (= ?x2780 0.0))))
 (let ((?x2776 (- (+ (- report_body_kid_4_y) report_body_kid_5_y) report_body_kid_4_hight)))
 (let (($x2812 (or $x2583 (= ?x2776 0.0))))
 (let ((?x2772 (- (- report_body_kid_4_y report_body_kid_3_y) report_body_kid_3_hight)))
 (let (($x2810 (or $x2583 (= ?x2772 0.0))))
 (let ((?x2768 (- (+ (- report_body_kid_2_hight) report_body_kid_3_y) report_body_kid_2_y)))
 (let (($x2808 (or $x2583 (= ?x2768 0.0))))
 (let ((?x2676 (- (- report_body_kid_1_y) report_body_kid_1_hight)))
 (let ((?x2764 (+ ?x2676 report_body_kid_2_y)))
 (let (($x2806 (or $x2583 (= ?x2764 0.0))))
 (let ((?x2761 (- (+ (- report_body_kid_0_y) report_body_kid_1_y) report_body_kid_0_hight)))
 (let (($x2804 (or $x2583 (= ?x2761 0.0))))
 (let (($x2605 (or $x2583 (= (- report_body_kid_6_x report_body_x) 0.0))))
 (let (($x2602 (or $x2583 (= (- report_body_kid_5_x report_body_x) 0.0))))
 (let (($x2599 (or $x2583 (= (- report_body_kid_4_x report_body_x) 0.0))))
 (let (($x2596 (or $x2583 (= (+ (- report_body_x) report_body_kid_3_x) 0.0))))
 (let (($x2592 (or $x2583 (= (- report_body_kid_2_x report_body_x) 0.0))))
 (let (($x2589 (or $x2583 (= (- report_body_kid_1_x report_body_x) 0.0))))
 (let (($x2586 (or $x2583 (= (- report_body_kid_0_x report_body_x) 0.0))))
 (let (($x2802 (or $x2583 (= report_body_kid_0_hight 35.0))))
 (let (($x2800 (or $x2583 (= (- report_body_kid_0_hight report_body_kid_6_hight) 0.0))))
 (let (($x2797 (or $x2583 (= (- report_body_kid_0_hight report_body_kid_5_hight) 0.0))))
 (let (($x2794 (or $x2583 (= (- report_body_kid_0_hight report_body_kid_4_hight) 0.0))))
 (let (($x2791 (or $x2583 (= (- report_body_kid_0_hight report_body_kid_3_hight) 0.0))))
 (let (($x2788 (or $x2583 (= (+ (- report_body_kid_2_hight) report_body_kid_0_hight) 0.0))))
 (let (($x2785 (or $x2583 (= (- report_body_kid_0_hight report_body_kid_1_hight) 0.0))))
 (let (($x2782 (or $x2583 (>= ?x2780 0.0))))
 (let (($x2778 (or $x2583 (>= ?x2776 0.0))))
 (let (($x2774 (or $x2583 (>= ?x2772 0.0))))
 (let (($x2770 (or $x2583 (>= ?x2768 0.0))))
 (let (($x2766 (or $x2583 (>= ?x2764 0.0))))
 (let (($x2763 (or $x2583 (>= ?x2761 0.0))))
 (let ((?x2756 (+ (- (- report_body_kid_6_y) report_body_kid_6_hight) report_body_y)))
 (let (($x2759 (or $x2583 (>= (+ ?x2756 report_body_hight) 0.0))))
 (let (($x2753 (or $x2583 (>= (- report_body_kid_6_y report_body_y) 0.0))))
 (let ((?x2748 (+ (- (- report_body_width report_body_kid_6_x) report_body_kid_6_width) report_body_x)))
 (let (($x2750 (or $x2583 (>= ?x2748 0.0))))
 (let (($x2745 (or $x2583 (>= (- report_body_kid_6_x report_body_x) 0.0))))
 (let ((?x2740 (- (+ (- report_body_kid_5_y) report_body_y) report_body_kid_5_hight)))
 (let (($x2743 (or $x2583 (>= (+ ?x2740 report_body_hight) 0.0))))
 (let (($x2737 (or $x2583 (>= (- report_body_kid_5_y report_body_y) 0.0))))
 (let ((?x2732 (- (+ (- report_body_width report_body_kid_5_x) report_body_x) report_body_kid_5_width)))
 (let (($x2734 (or $x2583 (>= ?x2732 0.0))))
 (let (($x2729 (or $x2583 (>= (- report_body_kid_5_x report_body_x) 0.0))))
 (let ((?x2725 (- (+ (+ (- report_body_kid_4_y) report_body_y) report_body_hight) report_body_kid_4_hight)))
 (let (($x2727 (or $x2583 (>= ?x2725 0.0))))
 (let (($x2721 (or $x2583 (>= (- report_body_kid_4_y report_body_y) 0.0))))
 (let ((?x2716 (- (+ (- report_body_width report_body_kid_4_x) report_body_x) report_body_kid_4_width)))
 (let (($x2718 (or $x2583 (>= ?x2716 0.0))))
 (let (($x2713 (or $x2583 (>= (- report_body_kid_4_x report_body_x) 0.0))))
 (let ((?x2709 (- (+ (- report_body_y report_body_kid_3_y) report_body_hight) report_body_kid_3_hight)))
 (let (($x2711 (or $x2583 (>= ?x2709 0.0))))
 (let (($x2706 (or $x2583 (>= (+ (- report_body_y) report_body_kid_3_y) 0.0))))
 (let ((?x2701 (- (+ (- report_body_width report_body_kid_3_width) report_body_x) report_body_kid_3_x)))
 (let (($x2703 (or $x2583 (>= ?x2701 0.0))))
 (let (($x2698 (or $x2583 (>= (+ (- report_body_x) report_body_kid_3_x) 0.0))))
 (let ((?x2694 (- (+ (+ (- report_body_kid_2_hight) report_body_y) report_body_hight) report_body_kid_2_y)))
 (let (($x2696 (or $x2583 (>= ?x2694 0.0))))
 (let (($x2690 (or $x2583 (>= (+ (- report_body_y) report_body_kid_2_y) 0.0))))
 (let ((?x2685 (+ (- (- report_body_width report_body_kid_2_x) report_body_kid_2_width) report_body_x)))
 (let (($x2687 (or $x2583 (>= ?x2685 0.0))))
 (let (($x2682 (or $x2583 (>= (- report_body_kid_2_x report_body_x) 0.0))))
 (let (($x2680 (or $x2583 (>= (+ (+ ?x2676 report_body_y) report_body_hight) 0.0))))
 (let (($x2674 (or $x2583 (>= (- report_body_kid_1_y report_body_y) 0.0))))
 (let ((?x2669 (+ (- (- report_body_width report_body_kid_1_x) report_body_kid_1_width) report_body_x)))
 (let (($x2671 (or $x2583 (>= ?x2669 0.0))))
 (let (($x2666 (or $x2583 (>= (- report_body_kid_1_x report_body_x) 0.0))))
 (let ((?x2661 (+ (- (- report_body_kid_0_y) report_body_kid_0_hight) report_body_y)))
 (let (($x2664 (or $x2583 (>= (+ ?x2661 report_body_hight) 0.0))))
 (let (($x2658 (or $x2583 (>= (- report_body_kid_0_y report_body_y) 0.0))))
 (let ((?x2654 (+ (- (- report_body_width report_body_kid_0_x) report_body_kid_0_width) report_body_x)))
 (let (($x2656 (or $x2583 (>= ?x2654 0.0))))
 (let (($x2651 (or $x2583 (>= (- report_body_kid_0_x report_body_x) 0.0))))
 (let ((?x2647 (- (- (+ report_body_kid_6_y report_body_kid_6_hight) report_body_y) report_body_hight)))
 (let (($x2649 (or $x2583 (= ?x2647 0.0))))
 (let (($x2644 (or $x2583 (= (- report_body_kid_0_y report_body_y) 0.0))))
 (let ((?x2638 (+ (+ (- report_body_width) report_body_kid_6_x) report_body_kid_6_width)))
 (let (($x2641 (or $x2583 (= (- ?x2638 report_body_x) 0.0))))
 (let ((?x2634 (+ (- (+ (- report_body_width) report_body_kid_5_x) report_body_x) report_body_kid_5_width)))
 (let (($x2636 (or $x2583 (= ?x2634 0.0))))
 (let ((?x2629 (+ (- (+ (- report_body_width) report_body_kid_4_x) report_body_x) report_body_kid_4_width)))
 (let (($x2631 (or $x2583 (= ?x2629 0.0))))
 (let ((?x2624 (+ (- (+ (- report_body_width) report_body_kid_3_width) report_body_x) report_body_kid_3_x)))
 (let (($x2626 (or $x2583 (= ?x2624 0.0))))
 (let ((?x2618 (+ (+ (- report_body_width) report_body_kid_2_x) report_body_kid_2_width)))
 (let (($x2621 (or $x2583 (= (- ?x2618 report_body_x) 0.0))))
 (let ((?x2613 (+ (+ (- report_body_width) report_body_kid_1_x) report_body_kid_1_width)))
 (let (($x2616 (or $x2583 (= (- ?x2613 report_body_x) 0.0))))
 (let ((?x2608 (+ (+ (- report_body_width) report_body_kid_0_x) report_body_kid_0_width)))
 (let (($x2611 (or $x2583 (= (- ?x2608 report_body_x) 0.0))))
 (let (($x2582 (>= report_body_kid_6_hight 0.0)))
 (let (($x2581 (>= report_body_kid_6_width 0.0)))
 (let (($x2580 (>= report_body_kid_6_y 0.0)))
 (let (($x2579 (>= report_body_kid_6_x 0.0)))
 (let (($x2578 (>= report_body_kid_5_hight 0.0)))
 (let (($x2577 (>= report_body_kid_5_width 0.0)))
 (let (($x2576 (>= report_body_kid_5_y 0.0)))
 (let (($x2575 (>= report_body_kid_5_x 0.0)))
 (let (($x2574 (>= report_body_kid_4_hight 0.0)))
 (let (($x2573 (>= report_body_kid_4_width 0.0)))
 (let (($x2572 (>= report_body_kid_4_y 0.0)))
 (let (($x2571 (>= report_body_kid_4_x 0.0)))
 (let (($x2570 (>= report_body_kid_3_hight 0.0)))
 (let (($x2569 (>= report_body_kid_3_width 0.0)))
 (let (($x2568 (>= report_body_kid_3_y 0.0)))
 (let (($x2567 (>= report_body_kid_3_x 0.0)))
 (let (($x2566 (>= report_body_kid_2_hight 0.0)))
 (let (($x2565 (>= report_body_kid_2_width 0.0)))
 (let (($x2564 (>= report_body_kid_2_y 0.0)))
 (let (($x2563 (>= report_body_kid_2_x 0.0)))
 (let (($x2562 (>= report_body_kid_1_hight 0.0)))
 (let (($x2561 (>= report_body_kid_1_width 0.0)))
 (let (($x2560 (>= report_body_kid_1_y 0.0)))
 (let (($x2559 (>= report_body_kid_1_x 0.0)))
 (let (($x2558 (>= report_body_kid_0_hight 0.0)))
 (let (($x2557 (>= report_body_kid_0_width 0.0)))
 (let (($x2556 (>= report_body_kid_0_y 0.0)))
 (let (($x2555 (>= report_body_kid_0_x 0.0)))
 (let (($x2554 (or $x2460 (= (+ (- report_cap_x) report_cap_kid_0_x) 0.0))))
 (let ((?x2516 (- (+ (- report_cap_kid_1_width) report_cap_kid_2_x) report_cap_kid_1_x)))
 (let (($x2552 (or $x2460 (= ?x2516 0.0))))
 (let ((?x2512 (- (+ (- report_cap_kid_0_x) report_cap_kid_1_x) report_cap_kid_0_width)))
 (let (($x2550 (or $x2460 (= ?x2512 0.0))))
 (let ((?x2545 (+ (+ (- report_cap_hight) report_cap_kid_2_y) report_cap_kid_2_hight)))
 (let (($x2548 (or $x2460 (= (- ?x2545 report_cap_y) 0.0))))
 (let (($x2543 (or $x2460 (= (- report_cap_kid_2_y report_cap_y) 0.0))))
 (let ((?x2538 (+ (+ (- report_cap_hight) report_cap_kid_1_y) report_cap_kid_1_hight)))
 (let (($x2541 (or $x2460 (= (- ?x2538 report_cap_y) 0.0))))
 (let (($x2536 (or $x2460 (= (- report_cap_kid_1_y report_cap_y) 0.0))))
 (let ((?x2532 (+ (- (+ (- report_cap_hight) report_cap_kid_0_y) report_cap_y) report_cap_kid_0_hight)))
 (let (($x2534 (or $x2460 (= ?x2532 0.0))))
 (let (($x2529 (or $x2460 (= (- report_cap_kid_0_y report_cap_y) 0.0))))
 (let (($x2527 (or $x2460 (= report_cap_kid_0_width 100.0))))
 (let (($x2525 (or $x2460 (= (+ (- report_cap_kid_2_width) report_cap_kid_0_width) 0.0))))
 (let (($x2521 (or $x2460 (= (+ (- report_cap_kid_1_width) report_cap_kid_0_width) 0.0))))
 (let (($x2518 (or $x2460 (>= ?x2516 0.0))))
 (let (($x2514 (or $x2460 (>= ?x2512 0.0))))
 (let ((?x2507 (+ (- (- report_cap_hight report_cap_kid_2_y) report_cap_kid_2_hight) report_cap_y)))
 (let (($x2509 (or $x2460 (>= ?x2507 0.0))))
 (let (($x2504 (or $x2460 (>= (- report_cap_kid_2_y report_cap_y) 0.0))))
 (let ((?x2499 (- (- (+ report_cap_x report_cap_width) report_cap_kid_2_x) report_cap_kid_2_width)))
 (let (($x2501 (or $x2460 (>= ?x2499 0.0))))
 (let (($x2497 (or $x2460 (>= (+ (- report_cap_x) report_cap_kid_2_x) 0.0))))
 (let ((?x2492 (+ (- (- report_cap_hight report_cap_kid_1_y) report_cap_kid_1_hight) report_cap_y)))
 (let (($x2494 (or $x2460 (>= ?x2492 0.0))))
 (let (($x2489 (or $x2460 (>= (- report_cap_kid_1_y report_cap_y) 0.0))))
 (let ((?x2484 (- (+ (+ (- report_cap_kid_1_width) report_cap_x) report_cap_width) report_cap_kid_1_x)))
 (let (($x2486 (or $x2460 (>= ?x2484 0.0))))
 (let (($x2480 (or $x2460 (>= (+ (- report_cap_x) report_cap_kid_1_x) 0.0))))
 (let ((?x2475 (- (+ (- report_cap_hight report_cap_kid_0_y) report_cap_y) report_cap_kid_0_hight)))
 (let (($x2477 (or $x2460 (>= ?x2475 0.0))))
 (let (($x2472 (or $x2460 (>= (- report_cap_kid_0_y report_cap_y) 0.0))))
 (let ((?x2467 (- (- (+ report_cap_x report_cap_width) report_cap_kid_0_x) report_cap_kid_0_width)))
 (let (($x2469 (or $x2460 (>= ?x2467 0.0))))
 (let (($x2464 (or $x2460 (>= (+ (- report_cap_x) report_cap_kid_0_x) 0.0))))
 (let (($x2459 (>= report_cap_kid_2_hight 0.0)))
 (let (($x2458 (>= report_cap_kid_2_width 0.0)))
 (let (($x2457 (>= report_cap_kid_2_y 0.0)))
 (let (($x2456 (>= report_cap_kid_2_x 0.0)))
 (let (($x2455 (>= report_cap_kid_1_hight 0.0)))
 (let (($x2454 (>= report_cap_kid_1_width 0.0)))
 (let (($x2453 (>= report_cap_kid_1_y 0.0)))
 (let (($x2452 (>= report_cap_kid_1_x 0.0)))
 (let (($x2451 (>= report_cap_kid_0_hight 0.0)))
 (let (($x2450 (>= report_cap_kid_0_width 0.0)))
 (let (($x2449 (>= report_cap_kid_0_y 0.0)))
 (let (($x2448 (>= report_cap_kid_0_x 0.0)))
 (let (($x2447 (or $x1837 (= ?x1895 10.0))))
 (let (($x2445 (or $x2383 (= (- (+ (- report_cap_hight) report_body_y) report_cap_y) 0.0))))
 (let (($x2443 (or $x2383 (= report_cap_hight 60.0))))
 (let (($x2440 (= (- (+ (- report_body_y report_y) report_body_hight) report_hight) 0.0)))
 (let (($x2441 (or $x2383 $x2440)))
 (let (($x2437 (or $x2383 (= (+ (- report_y) report_cap_y) 0.0))))
 (let ((?x2433 (+ (- (+ (- report_x) report_body_width) report_width) report_body_x)))
 (let (($x2435 (or $x2383 (= ?x2433 0.0))))
 (let ((?x2428 (+ (- (+ (- report_x) report_cap_x) report_width) report_cap_width)))
 (let (($x2430 (or $x2383 (= ?x2428 0.0))))
 (let (($x2426 (or $x2383 (= (+ (- report_x) report_body_x) 0.0))))
 (let (($x2424 (or $x2383 (= (+ (- report_x) report_cap_x) 0.0))))
 (let ((?x2420 (- (+ (- report_cap_hight) report_body_y) report_cap_y)))
 (let (($x2422 (or $x2383 (>= ?x2420 0.0))))
 (let ((?x2416 (+ (- (+ (- report_body_y) report_y) report_body_hight) report_hight)))
 (let (($x2418 (or $x2383 (>= ?x2416 0.0))))
 (let (($x2412 (or $x2383 (>= (- report_body_y report_y) 0.0))))
 (let (($x2408 (>= (- (+ (- report_x report_body_width) report_width) report_body_x) 0.0)))
 (let (($x2409 (or $x2383 $x2408)))
 (let (($x2404 (or $x2383 (>= (+ (- report_x) report_body_x) 0.0))))
 (let ((?x2399 (+ (- (+ (- report_cap_hight) report_y) report_cap_y) report_hight)))
 (let (($x2401 (or $x2383 (>= ?x2399 0.0))))
 (let (($x2395 (or $x2383 (>= (+ (- report_y) report_cap_y) 0.0))))
 (let (($x2390 (>= (- (+ (- report_x report_cap_x) report_width) report_cap_width) 0.0)))
 (let (($x2391 (or $x2383 $x2390)))
 (let (($x2386 (or $x2383 (>= (+ (- report_x) report_cap_x) 0.0))))
 (let (($x2382 (>= report_body_hight 0.0)))
 (let (($x2381 (>= report_body_width 0.0)))
 (let (($x2380 (>= report_body_y 0.0)))
 (let (($x2379 (>= report_body_x 0.0)))
 (let (($x2378 (>= report_cap_hight 0.0)))
 (let (($x2377 (>= report_cap_width 0.0)))
 (let (($x2376 (>= report_cap_y 0.0)))
 (let (($x2375 (>= report_cap_x 0.0)))
 (let ((?x2339 (- (+ (- news_body_kid_5_y) news_body_kid_6_y) news_body_kid_5_hight)))
 (let (($x2374 (or $x2140 (= ?x2339 0.0))))
 (let ((?x2335 (- (- news_body_kid_5_y news_body_kid_4_y) news_body_kid_4_hight)))
 (let (($x2372 (or $x2140 (= ?x2335 0.0))))
 (let ((?x2331 (- (- news_body_kid_4_y news_body_kid_3_y) news_body_kid_3_hight)))
 (let (($x2370 (or $x2140 (= ?x2331 0.0))))
 (let ((?x2327 (- (+ (- news_body_kid_2_y) news_body_kid_3_y) news_body_kid_2_hight)))
 (let (($x2368 (or $x2140 (= ?x2327 0.0))))
 (let ((?x2323 (- (- news_body_kid_2_y news_body_kid_1_y) news_body_kid_1_hight)))
 (let (($x2366 (or $x2140 (= ?x2323 0.0))))
 (let ((?x2319 (- (+ (- news_body_kid_0_hight) news_body_kid_1_y) news_body_kid_0_y)))
 (let (($x2364 (or $x2140 (= ?x2319 0.0))))
 (let (($x2161 (or $x2140 (= (- news_body_kid_6_x news_body_x) 0.0))))
 (let (($x2158 (or $x2140 (= (- news_body_kid_5_x news_body_x) 0.0))))
 (let (($x2155 (or $x2140 (= (- news_body_kid_4_x news_body_x) 0.0))))
 (let (($x2152 (or $x2140 (= (- news_body_kid_3_x news_body_x) 0.0))))
 (let (($x2149 (or $x2140 (= (- news_body_kid_2_x news_body_x) 0.0))))
 (let (($x2146 (or $x2140 (= (- news_body_kid_1_x news_body_x) 0.0))))
 (let (($x2143 (or $x2140 (= (- news_body_kid_0_x news_body_x) 0.0))))
 (let (($x2362 (or $x2140 (= news_body_kid_0_hight 35.0))))
 (let (($x2359 (or $x2140 (= (- news_body_kid_0_hight news_body_kid_6_hight) 0.0))))
 (let (($x2356 (or $x2140 (= (- news_body_kid_0_hight news_body_kid_5_hight) 0.0))))
 (let (($x2353 (or $x2140 (= (- news_body_kid_0_hight news_body_kid_4_hight) 0.0))))
 (let (($x2350 (or $x2140 (= (- news_body_kid_0_hight news_body_kid_3_hight) 0.0))))
 (let (($x2347 (or $x2140 (= (- news_body_kid_0_hight news_body_kid_2_hight) 0.0))))
 (let (($x2344 (or $x2140 (= (- news_body_kid_0_hight news_body_kid_1_hight) 0.0))))
 (let (($x2341 (or $x2140 (>= ?x2339 0.0))))
 (let (($x2337 (or $x2140 (>= ?x2335 0.0))))
 (let (($x2333 (or $x2140 (>= ?x2331 0.0))))
 (let (($x2329 (or $x2140 (>= ?x2327 0.0))))
 (let (($x2325 (or $x2140 (>= ?x2323 0.0))))
 (let (($x2321 (or $x2140 (>= ?x2319 0.0))))
 (let ((?x2315 (+ (+ (- (- news_body_kid_6_y) news_body_kid_6_hight) news_body_y) news_body_hight)))
 (let (($x2317 (or $x2140 (>= ?x2315 0.0))))
 (let (($x2311 (or $x2140 (>= (- news_body_kid_6_y news_body_y) 0.0))))
 (let ((?x2306 (+ (- (- news_body_width news_body_kid_6_x) news_body_kid_6_width) news_body_x)))
 (let (($x2308 (or $x2140 (>= ?x2306 0.0))))
 (let (($x2303 (or $x2140 (>= (- news_body_kid_6_x news_body_x) 0.0))))
 (let ((?x2299 (+ (+ (- (- news_body_kid_5_y) news_body_kid_5_hight) news_body_y) news_body_hight)))
 (let (($x2301 (or $x2140 (>= ?x2299 0.0))))
 (let (($x2295 (or $x2140 (>= (- news_body_kid_5_y news_body_y) 0.0))))
 (let ((?x2290 (+ (- (- news_body_width news_body_kid_5_x) news_body_kid_5_width) news_body_x)))
 (let (($x2292 (or $x2140 (>= ?x2290 0.0))))
 (let (($x2287 (or $x2140 (>= (- news_body_kid_5_x news_body_x) 0.0))))
 (let ((?x2283 (+ (+ (- (- news_body_kid_4_y) news_body_kid_4_hight) news_body_y) news_body_hight)))
 (let (($x2285 (or $x2140 (>= ?x2283 0.0))))
 (let (($x2279 (or $x2140 (>= (- news_body_kid_4_y news_body_y) 0.0))))
 (let ((?x2274 (+ (- (- news_body_width news_body_kid_4_x) news_body_kid_4_width) news_body_x)))
 (let (($x2276 (or $x2140 (>= ?x2274 0.0))))
 (let (($x2271 (or $x2140 (>= (- news_body_kid_4_x news_body_x) 0.0))))
 (let ((?x2267 (+ (- (+ (- news_body_kid_3_y) news_body_y) news_body_kid_3_hight) news_body_hight)))
 (let (($x2269 (or $x2140 (>= ?x2267 0.0))))
 (let (($x2263 (or $x2140 (>= (- news_body_kid_3_y news_body_y) 0.0))))
 (let ((?x2258 (+ (- (+ (- news_body_kid_3_width) news_body_width) news_body_kid_3_x) news_body_x)))
 (let (($x2260 (or $x2140 (>= ?x2258 0.0))))
 (let (($x2254 (or $x2140 (>= (- news_body_kid_3_x news_body_x) 0.0))))
 (let ((?x2250 (- (+ (+ (- news_body_kid_2_y) news_body_y) news_body_hight) news_body_kid_2_hight)))
 (let (($x2252 (or $x2140 (>= ?x2250 0.0))))
 (let (($x2246 (or $x2140 (>= (- news_body_kid_2_y news_body_y) 0.0))))
 (let ((?x2241 (+ (- (- news_body_width news_body_kid_2_width) news_body_kid_2_x) news_body_x)))
 (let (($x2243 (or $x2140 (>= ?x2241 0.0))))
 (let (($x2238 (or $x2140 (>= (- news_body_kid_2_x news_body_x) 0.0))))
 (let ((?x2234 (- (+ (- news_body_y news_body_kid_1_y) news_body_hight) news_body_kid_1_hight)))
 (let (($x2236 (or $x2140 (>= ?x2234 0.0))))
 (let (($x2231 (or $x2140 (>= (+ (- news_body_y) news_body_kid_1_y) 0.0))))
 (let ((?x2226 (+ (- (+ (- news_body_kid_1_x) news_body_width) news_body_kid_1_width) news_body_x)))
 (let (($x2228 (or $x2140 (>= ?x2226 0.0))))
 (let (($x2222 (or $x2140 (>= (- news_body_kid_1_x news_body_x) 0.0))))
 (let ((?x2218 (- (+ (+ (- news_body_kid_0_hight) news_body_y) news_body_hight) news_body_kid_0_y)))
 (let (($x2220 (or $x2140 (>= ?x2218 0.0))))
 (let (($x2214 (or $x2140 (>= (+ (- news_body_y) news_body_kid_0_y) 0.0))))
 (let ((?x2210 (+ (- (- news_body_width news_body_kid_0_x) news_body_kid_0_width) news_body_x)))
 (let (($x2212 (or $x2140 (>= ?x2210 0.0))))
 (let (($x2207 (or $x2140 (>= (- news_body_kid_0_x news_body_x) 0.0))))
 (let ((?x2203 (- (- (+ news_body_kid_6_y news_body_kid_6_hight) news_body_y) news_body_hight)))
 (let (($x2205 (or $x2140 (= ?x2203 0.0))))
 (let (($x2200 (or $x2140 (= (+ (- news_body_y) news_body_kid_0_y) 0.0))))
 (let ((?x2194 (- (+ (+ (- news_body_width) news_body_kid_6_x) news_body_kid_6_width) news_body_x)))
 (let (($x2196 (or $x2140 (= ?x2194 0.0))))
 (let ((?x2189 (- (+ (+ (- news_body_width) news_body_kid_5_x) news_body_kid_5_width) news_body_x)))
 (let (($x2191 (or $x2140 (= ?x2189 0.0))))
 (let ((?x2184 (- (+ (+ (- news_body_width) news_body_kid_4_x) news_body_kid_4_width) news_body_x)))
 (let (($x2186 (or $x2140 (= ?x2184 0.0))))
 (let ((?x2179 (- (+ (- news_body_kid_3_width news_body_width) news_body_kid_3_x) news_body_x)))
 (let (($x2181 (or $x2140 (= ?x2179 0.0))))
 (let ((?x2174 (- (+ (+ (- news_body_width) news_body_kid_2_width) news_body_kid_2_x) news_body_x)))
 (let (($x2176 (or $x2140 (= ?x2174 0.0))))
 (let ((?x2169 (- (+ (- news_body_kid_1_x news_body_width) news_body_kid_1_width) news_body_x)))
 (let (($x2171 (or $x2140 (= ?x2169 0.0))))
 (let ((?x2164 (- (+ (+ (- news_body_width) news_body_kid_0_x) news_body_kid_0_width) news_body_x)))
 (let (($x2166 (or $x2140 (= ?x2164 0.0))))
 (let (($x2139 (>= news_body_kid_6_hight 0.0)))
 (let (($x2138 (>= news_body_kid_6_width 0.0)))
 (let (($x2137 (>= news_body_kid_6_y 0.0)))
 (let (($x2136 (>= news_body_kid_6_x 0.0)))
 (let (($x2135 (>= news_body_kid_5_hight 0.0)))
 (let (($x2134 (>= news_body_kid_5_width 0.0)))
 (let (($x2133 (>= news_body_kid_5_y 0.0)))
 (let (($x2132 (>= news_body_kid_5_x 0.0)))
 (let (($x2131 (>= news_body_kid_4_hight 0.0)))
 (let (($x2130 (>= news_body_kid_4_width 0.0)))
 (let (($x2129 (>= news_body_kid_4_y 0.0)))
 (let (($x2128 (>= news_body_kid_4_x 0.0)))
 (let (($x2127 (>= news_body_kid_3_hight 0.0)))
 (let (($x2126 (>= news_body_kid_3_width 0.0)))
 (let (($x2125 (>= news_body_kid_3_y 0.0)))
 (let (($x2124 (>= news_body_kid_3_x 0.0)))
 (let (($x2123 (>= news_body_kid_2_hight 0.0)))
 (let (($x2122 (>= news_body_kid_2_width 0.0)))
 (let (($x2121 (>= news_body_kid_2_y 0.0)))
 (let (($x2120 (>= news_body_kid_2_x 0.0)))
 (let (($x2119 (>= news_body_kid_1_hight 0.0)))
 (let (($x2118 (>= news_body_kid_1_width 0.0)))
 (let (($x2117 (>= news_body_kid_1_y 0.0)))
 (let (($x2116 (>= news_body_kid_1_x 0.0)))
 (let (($x2115 (>= news_body_kid_0_hight 0.0)))
 (let (($x2114 (>= news_body_kid_0_width 0.0)))
 (let (($x2113 (>= news_body_kid_0_y 0.0)))
 (let (($x2112 (>= news_body_kid_0_x 0.0)))
 (let (($x2111 (or $x2015 (= (- news_cap_kid_0_x news_cap_x) 0.0))))
 (let ((?x2073 (- (+ (- news_cap_kid_1_x) news_cap_kid_2_x) news_cap_kid_1_width)))
 (let (($x2109 (or $x2015 (= ?x2073 0.0))))
 (let ((?x2068 (- (- news_cap_kid_1_x news_cap_kid_0_x) news_cap_kid_0_width)))
 (let (($x2107 (or $x2015 (= ?x2068 0.0))))
 (let ((?x2103 (- (- (+ news_cap_kid_2_y news_cap_kid_2_hight) news_cap_y) news_cap_hight)))
 (let (($x2105 (or $x2015 (= ?x2103 0.0))))
 (let (($x2100 (or $x2015 (= (- news_cap_kid_2_y news_cap_y) 0.0))))
 (let ((?x2096 (- (- (+ news_cap_kid_1_y news_cap_kid_1_hight) news_cap_y) news_cap_hight)))
 (let (($x2098 (or $x2015 (= ?x2096 0.0))))
 (let (($x2093 (or $x2015 (= (- news_cap_kid_1_y news_cap_y) 0.0))))
 (let ((?x2089 (- (+ (- news_cap_kid_0_y news_cap_y) news_cap_kid_0_hight) news_cap_hight)))
 (let (($x2091 (or $x2015 (= ?x2089 0.0))))
 (let (($x2087 (or $x2015 (= (- news_cap_kid_0_y news_cap_y) 0.0))))
 (let (($x2085 (or $x2015 (= news_cap_kid_0_width 100.0))))
 (let (($x2083 (or $x2015 (= (+ (- news_cap_kid_2_width) news_cap_kid_0_width) 0.0))))
 (let (($x2079 (or $x2015 (= (+ (- news_cap_kid_1_width) news_cap_kid_0_width) 0.0))))
 (let (($x2075 (or $x2015 (>= ?x2073 0.0))))
 (let (($x2070 (or $x2015 (>= ?x2068 0.0))))
 (let ((?x2064 (+ (+ (- (- news_cap_kid_2_y) news_cap_kid_2_hight) news_cap_y) news_cap_hight)))
 (let (($x2066 (or $x2015 (>= ?x2064 0.0))))
 (let (($x2060 (or $x2015 (>= (- news_cap_kid_2_y news_cap_y) 0.0))))
 (let ((?x2055 (+ (- (- news_cap_width news_cap_kid_2_x) news_cap_kid_2_width) news_cap_x)))
 (let (($x2057 (or $x2015 (>= ?x2055 0.0))))
 (let (($x2052 (or $x2015 (>= (- news_cap_kid_2_x news_cap_x) 0.0))))
 (let ((?x2047 (+ (+ (- (- news_cap_kid_1_y) news_cap_kid_1_hight) news_cap_y) news_cap_hight)))
 (let (($x2049 (or $x2015 (>= ?x2047 0.0))))
 (let (($x2043 (or $x2015 (>= (- news_cap_kid_1_y news_cap_y) 0.0))))
 (let ((?x2038 (+ (- (- news_cap_width news_cap_kid_1_x) news_cap_kid_1_width) news_cap_x)))
 (let (($x2040 (or $x2015 (>= ?x2038 0.0))))
 (let (($x2035 (or $x2015 (>= (- news_cap_kid_1_x news_cap_x) 0.0))))
 (let ((?x2030 (+ (- (+ (- news_cap_kid_0_y) news_cap_y) news_cap_kid_0_hight) news_cap_hight)))
 (let (($x2032 (or $x2015 (>= ?x2030 0.0))))
 (let (($x2026 (or $x2015 (>= (- news_cap_kid_0_y news_cap_y) 0.0))))
 (let ((?x2021 (- (+ (- news_cap_width news_cap_kid_0_x) news_cap_x) news_cap_kid_0_width)))
 (let (($x2023 (or $x2015 (>= ?x2021 0.0))))
 (let (($x2018 (or $x2015 (>= (- news_cap_kid_0_x news_cap_x) 0.0))))
 (let (($x2014 (>= news_cap_kid_2_hight 0.0)))
 (let (($x2013 (>= news_cap_kid_2_width 0.0)))
 (let (($x2012 (>= news_cap_kid_2_y 0.0)))
 (let (($x2011 (>= news_cap_kid_2_x 0.0)))
 (let (($x2010 (>= news_cap_kid_1_hight 0.0)))
 (let (($x2009 (>= news_cap_kid_1_width 0.0)))
 (let (($x2008 (>= news_cap_kid_1_y 0.0)))
 (let (($x2007 (>= news_cap_kid_1_x 0.0)))
 (let (($x2006 (>= news_cap_kid_0_hight 0.0)))
 (let (($x2005 (>= news_cap_kid_0_width 0.0)))
 (let (($x2004 (>= news_cap_kid_0_y 0.0)))
 (let (($x2003 (>= news_cap_kid_0_x 0.0)))
 (let (($x2002 (or $x1938 (= (- (+ (- news_cap_y) news_body_y) news_cap_hight) 0.0))))
 (let (($x2000 (or $x1938 (= news_cap_hight 60.0))))
 (let (($x1996 (= (- (+ (+ (- news_hight) news_body_y) news_body_hight) news_y) 0.0)))
 (let (($x1997 (or $x1938 $x1996)))
 (let (($x1992 (or $x1938 (= (- news_cap_y news_y) 0.0))))
 (let (($x1989 (= (+ (- (- news_body_width news_x) news_width) news_body_x) 0.0)))
 (let (($x1990 (or $x1938 $x1989)))
 (let (($x1984 (= (+ (- (+ (- news_x) news_cap_width) news_width) news_cap_x) 0.0)))
 (let (($x1985 (or $x1938 $x1984)))
 (let (($x1980 (or $x1938 (= (+ (- news_x) news_body_x) 0.0))))
 (let (($x1978 (or $x1938 (= (+ (- news_x) news_cap_x) 0.0))))
 (let (($x1976 (or $x1938 (>= (- (+ (- news_cap_y) news_body_y) news_cap_hight) 0.0))))
 (let (($x1970 (>= (+ (- (- news_hight news_body_y) news_body_hight) news_y) 0.0)))
 (let (($x1971 (or $x1938 $x1970)))
 (let (($x1966 (or $x1938 (>= (- news_body_y news_y) 0.0))))
 (let (($x1962 (>= (- (+ (+ (- news_body_width) news_x) news_width) news_body_x) 0.0)))
 (let (($x1963 (or $x1938 $x1962)))
 (let (($x1957 (or $x1938 (>= (+ (- news_x) news_body_x) 0.0))))
 (let (($x1953 (>= (- (+ (- news_hight news_cap_y) news_y) news_cap_hight) 0.0)))
 (let (($x1954 (or $x1938 $x1953)))
 (let (($x1949 (or $x1938 (>= (- news_cap_y news_y) 0.0))))
 (let (($x1945 (>= (- (+ (- news_x news_cap_width) news_width) news_cap_x) 0.0)))
 (let (($x1946 (or $x1938 $x1945)))
 (let (($x1941 (or $x1938 (>= (+ (- news_x) news_cap_x) 0.0))))
 (let (($x1937 (>= news_body_hight 0.0)))
 (let (($x1936 (>= news_body_width 0.0)))
 (let (($x1935 (>= news_body_y 0.0)))
 (let (($x1934 (>= news_body_x 0.0)))
 (let (($x1933 (>= news_cap_hight 0.0)))
 (let (($x1932 (>= news_cap_width 0.0)))
 (let (($x1931 (>= news_cap_y 0.0)))
 (let (($x1930 (>= news_cap_x 0.0)))
 (let (($x1929 (= (- (* 5.0 main_pic_hight) (* 3.0 main_pic_width)) 0.0)))
 (let ((?x1921 (+ (+ (- (- main_left_y) main_left_hight) report_y) report_hight)))
 (let (($x1923 (or $x1837 (= ?x1921 (- 10.0)))))
 (let (($x1919 (or $x1837 (= (- main_pic_y main_left_y) 10.0))))
 (let (($x1916 (= (- (- (+ report_x report_width) main_left_x) main_left_width) (- 10.0))))
 (let (($x1917 (or $x1837 $x1916)))
 (let (($x1911 (= (- (- (+ news_x news_width) main_left_x) main_left_width) (- 10.0))))
 (let (($x1912 (or $x1837 $x1911)))
 (let (($x1906 (= (- (+ (- main_pic_x main_left_x) main_pic_width) main_left_width) (- 10.0))))
 (let (($x1907 (or $x1837 $x1906)))
 (let (($x1903 (or $x1837 (= (- report_x main_left_x) 10.0))))
 (let (($x1901 (or $x1837 (= (- news_x main_left_x) 10.0))))
 (let (($x1899 (or $x1837 (= (- main_pic_x main_left_x) 10.0))))
 (let (($x1897 (or $x1837 $x1896)))
 (let (($x1893 (or $x1837 (>= (+ (- (- main_pic_y) main_pic_hight) news_y) 0.0))))
 (let (($x1888 (>= (- (- (+ main_left_y main_left_hight) report_y) report_hight) 0.0)))
 (let (($x1889 (or $x1837 $x1888)))
 (let (($x1885 (or $x1837 (>= (+ (- main_left_y) report_y) 0.0))))
 (let ((?x1880 (+ (+ (- (- report_x) report_width) main_left_x) main_left_width)))
 (let (($x1882 (or $x1837 (>= ?x1880 0.0))))
 (let (($x1876 (or $x1837 (>= (- report_x main_left_x) 0.0))))
 (let (($x1872 (>= (- (+ (+ (- news_hight) main_left_y) main_left_hight) news_y) 0.0)))
 (let (($x1873 (or $x1837 $x1872)))
 (let (($x1867 (or $x1837 (>= (+ (- main_left_y) news_y) 0.0))))
 (let (($x1863 (>= (+ (+ (- (- news_x) news_width) main_left_x) main_left_width) 0.0)))
 (let (($x1864 (or $x1837 $x1863)))
 (let (($x1858 (or $x1837 (>= (- news_x main_left_x) 0.0))))
 (let ((?x1853 (+ (- (+ (- main_pic_y) main_left_y) main_pic_hight) main_left_hight)))
 (let (($x1855 (or $x1837 (>= ?x1853 0.0))))
 (let (($x1849 (or $x1837 (>= (- main_pic_y main_left_y) 0.0))))
 (let ((?x1844 (+ (- (+ (- main_pic_x) main_left_x) main_pic_width) main_left_width)))
 (let (($x1846 (or $x1837 (>= ?x1844 0.0))))
 (let (($x1840 (or $x1837 (>= (- main_pic_x main_left_x) 0.0))))
 (let (($x1836 (>= report_hight 0.0)))
 (let (($x1835 (>= report_width 0.0)))
 (let (($x1834 (>= report_y 0.0)))
 (let (($x1833 (>= report_x 0.0)))
 (let (($x1832 (>= news_hight 0.0)))
 (let (($x1831 (>= news_width 0.0)))
 (let (($x1830 (>= news_y 0.0)))
 (let (($x1829 (>= news_x 0.0)))
 (let (($x1828 (>= main_pic_hight 0.0)))
 (let (($x1827 (>= main_pic_width 0.0)))
 (let (($x1826 (>= main_pic_y 0.0)))
 (let (($x1825 (>= main_pic_x 0.0)))
 (let (($x1824 (or $x1698 (= (+ (- main_right_hight) main_left_hight) 0.0))))
 (let (($x1820 (or $x1698 (= main_right_width 400.0))))
 (let (($x1817 (or $x1698 (= (- (- main_right_x main_left_x) main_left_width) 10.0))))
 (let (($x1815 (or $x1698 (>= (- (- main_right_x main_left_x) main_left_width) 0.0))))
 (let ((?x1809 (+ (+ (- (- main_right_y) main_right_hight) main_body_y) main_body_hight)))
 (let (($x1811 (or $x1698 (>= ?x1809 10.0))))
 (let (($x1805 (or $x1698 (>= (- main_right_y main_body_y) 10.0))))
 (let ((?x1801 (+ (- (- main_body_width main_right_x) main_right_width) main_body_x)))
 (let (($x1803 (or $x1698 (>= ?x1801 10.0))))
 (let (($x1798 (or $x1698 (>= (- main_right_x main_body_x) 10.0))))
 (let ((?x1793 (+ (+ (- (- main_left_y) main_left_hight) main_body_y) main_body_hight)))
 (let (($x1795 (or $x1698 (>= ?x1793 10.0))))
 (let (($x1789 (or $x1698 (>= (- main_left_y main_body_y) 10.0))))
 (let ((?x1785 (- (+ (- main_body_width main_left_x) main_body_x) main_left_width)))
 (let (($x1787 (or $x1698 (>= ?x1785 10.0))))
 (let (($x1782 (or $x1698 (>= (- main_left_x main_body_x) 10.0))))
 (let ((?x1778 (- (- (+ main_right_y main_right_hight) main_body_y) main_body_hight)))
 (let (($x1780 (or $x1698 (= ?x1778 (- 10.0)))))
 (let ((?x1773 (- (- (+ main_left_y main_left_hight) main_body_y) main_body_hight)))
 (let (($x1775 (or $x1698 (= ?x1773 (- 10.0)))))
 (let (($x1770 (or $x1698 (= (- main_right_y main_body_y) 10.0))))
 (let (($x1767 (or $x1698 (= (- main_left_y main_body_y) 10.0))))
 (let ((?x1762 (- (+ (+ (- main_body_width) main_right_x) main_right_width) main_body_x)))
 (let (($x1764 (or $x1698 (= ?x1762 (- 10.0)))))
 (let (($x1758 (or $x1698 (= (- main_left_x main_body_x) 10.0))))
 (let (($x1755 (>= main_right_hight 0.0)))
 (let (($x1754 (>= main_right_width 0.0)))
 (let (($x1753 (>= main_right_y 0.0)))
 (let (($x1752 (>= main_right_x 0.0)))
 (let (($x1751 (>= main_left_hight 0.0)))
 (let (($x1750 (>= main_left_width 0.0)))
 (let (($x1749 (>= main_left_y 0.0)))
 (let (($x1748 (>= main_left_x 0.0)))
 (let ((?x1745 (+ (- (* (- 2.0) back_ground_x) back_ground_width) (* 2.0 main_body_holder_x))))
 (let (($x1747 (= (+ ?x1745 main_body_holder_width) 0.0)))
 (let (($x1734 (> back_ground_width 1150.0)))
 (let (($x1741 (or $x1734 (= (+ (- back_ground_width) main_body_holder_width) 0.0))))
 (let (($x1736 (= main_body_holder_width 1150.0)))
 (let (($x1737 (or (not $x1734) $x1736)))
 (let (($x1732 (or $x1698 $x1715)))
 (let (($x1731 (or main_body_feasible main_body_2_feasible)))
 (let ((?x1728 (+ (- (+ (- main_body_holder_y) main_body_2_y) main_body_holder_hight) main_body_2_hight)))
 (let (($x1730 (or $x1715 (= ?x1728 0.0))))
 (let (($x1726 (or $x1715 (= (+ (- main_body_holder_y) main_body_2_y) 0.0))))
 (let ((?x1721 (- (+ (- main_body_2_width main_body_holder_x) main_body_2_x) main_body_holder_width)))
 (let (($x1723 (or $x1715 (= ?x1721 0.0))))
 (let (($x1718 (or $x1715 (= (+ (- main_body_holder_x) main_body_2_x) 0.0))))
 (let ((?x1712 (+ (+ (- (- main_body_holder_y) main_body_holder_hight) main_body_y) main_body_hight)))
 (let (($x1714 (or $x1698 (= ?x1712 0.0))))
 (let (($x1710 (or $x1698 (= (+ (- main_body_holder_y) main_body_y) 0.0))))
 (let ((?x1705 (- (+ (- main_body_width main_body_holder_x) main_body_x) main_body_holder_width)))
 (let (($x1707 (or $x1698 (= ?x1705 0.0))))
 (let (($x1702 (or $x1698 (= (+ (- main_body_holder_x) main_body_x) 0.0))))
 (let (($x1697 (>= main_body_2_hight 0.0)))
 (let (($x1696 (>= main_body_2_width 0.0)))
 (let (($x1695 (>= main_body_2_y 0.0)))
 (let (($x1694 (>= main_body_2_x 0.0)))
 (let (($x1693 (>= main_body_hight 0.0)))
 (let (($x1692 (>= main_body_width 0.0)))
 (let (($x1691 (>= main_body_y 0.0)))
 (let (($x1690 (>= main_body_x 0.0)))
 (let ((?x1686 (+ (- title_buttons_2_kid_1_x title_buttons_2_width) title_buttons_2_kid_1_width)))
 (let (($x1689 (or $x1230 (= (- ?x1686 title_buttons_2_x) 0.0))))
 (let (($x1684 (or $x1230 (= (- title_buttons_2_kid_0_x title_buttons_2_x) 0.0))))
 (let ((?x1633 (- title_buttons_2_y)))
 (let ((?x1652 (+ ?x1633 title_buttons_2_kid_1_y)))
 (let (($x1681 (= (+ (- ?x1652 title_buttons_2_hight) title_buttons_2_kid_1_hight) 0.0)))
 (let (($x1682 (or $x1230 $x1681)))
 (let (($x1678 (or $x1230 (= ?x1652 0.0))))
 (let ((?x1673 (- (- title_buttons_2_kid_0_hight title_buttons_2_y) title_buttons_2_hight)))
 (let (($x1676 (or $x1230 (= (+ ?x1673 title_buttons_2_kid_0_y) 0.0))))
 (let (($x1671 (or $x1230 (= (+ ?x1633 title_buttons_2_kid_0_y) 0.0))))
 (let (($x1669 (= title_buttons_2_hight 50.0)))
 (let (($x1668 (or $x1230 (= title_buttons_2_kid_1_width 80.0))))
 (let (($x1666 (or $x1230 (= title_buttons_2_kid_0_width 120.0))))
 (let ((?x1661 (- (- title_buttons_2_kid_1_x title_buttons_2_kid_0_x) title_buttons_2_kid_0_width)))
 (let (($x1663 (or $x1230 (>= ?x1661 0.0))))
 (let ((?x1656 (+ (- title_buttons_2_y title_buttons_2_kid_1_y) title_buttons_2_hight)))
 (let (($x1659 (or $x1230 (>= (- ?x1656 title_buttons_2_kid_1_hight) 0.0))))
 (let (($x1654 (or $x1230 (>= ?x1652 0.0))))
 (let ((?x1648 (- (+ (- title_buttons_2_kid_1_x) title_buttons_2_width) title_buttons_2_kid_1_width)))
 (let (($x1651 (or $x1230 (>= (+ ?x1648 title_buttons_2_x) 0.0))))
 (let (($x1645 (or $x1230 (>= (- title_buttons_2_kid_1_x title_buttons_2_x) 0.0))))
 (let ((?x1639 (+ (+ (- title_buttons_2_kid_0_hight) title_buttons_2_y) title_buttons_2_hight)))
 (let (($x1642 (or $x1230 (>= (- ?x1639 title_buttons_2_kid_0_y) 0.0))))
 (let (($x1636 (or $x1230 (>= (+ ?x1633 title_buttons_2_kid_0_y) 0.0))))
 (let ((?x1629 (- (- title_buttons_2_width title_buttons_2_kid_0_x) title_buttons_2_kid_0_width)))
 (let (($x1632 (or $x1230 (>= (+ ?x1629 title_buttons_2_x) 0.0))))
 (let (($x1627 (or $x1230 (>= (- title_buttons_2_kid_0_x title_buttons_2_x) 0.0))))
 (let (($x1624 (>= title_buttons_2_kid_1_hight 0.0)))
 (let (($x1623 (>= title_buttons_2_kid_1_width 0.0)))
 (let (($x1622 (>= title_buttons_2_kid_1_y 0.0)))
 (let (($x1621 (>= title_buttons_2_kid_1_x 0.0)))
 (let (($x1620 (>= title_buttons_2_kid_0_hight 0.0)))
 (let (($x1619 (>= title_buttons_2_kid_0_width 0.0)))
 (let (($x1618 (>= title_buttons_2_kid_0_y 0.0)))
 (let (($x1617 (>= title_buttons_2_kid_0_x 0.0)))
 (let ((?x1611 (+ (- (- title_buttons_kid_1_x) title_buttons_kid_8_x) title_buttons_kid_9_x)))
 (let ((?x1614 (+ (- (+ ?x1611 title_buttons_kid_0_x) title_buttons_kid_8_width) title_buttons_kid_0_width)))
 (let (($x1616 (or $x1212 (= ?x1614 0.0))))
 (let ((?x1604 (+ (+ (- title_buttons_kid_1_x) title_buttons_kid_8_x) title_buttons_kid_0_x)))
 (let ((?x1607 (- (+ (- ?x1604 title_buttons_kid_7_x) title_buttons_kid_0_width) title_buttons_kid_7_width)))
 (let (($x1609 (or $x1212 (= ?x1607 0.0))))
 (let ((?x1597 (+ (- (- title_buttons_kid_6_width) title_buttons_kid_1_x) title_buttons_kid_0_x)))
 (let ((?x1600 (- (+ (+ ?x1597 title_buttons_kid_7_x) title_buttons_kid_0_width) title_buttons_kid_6_x)))
 (let (($x1602 (or $x1212 (= ?x1600 0.0))))
 (let ((?x1590 (+ (- (- title_buttons_kid_5_width) title_buttons_kid_1_x) title_buttons_kid_0_x)))
 (let ((?x1593 (+ (+ (- ?x1590 title_buttons_kid_5_x) title_buttons_kid_0_width) title_buttons_kid_6_x)))
 (let (($x1595 (or $x1212 (= ?x1593 0.0))))
 (let ((?x1356 (- title_buttons_kid_4_x)))
 (let ((?x1463 (- ?x1356 title_buttons_kid_4_width)))
 (let ((?x1585 (+ (+ (- ?x1463 title_buttons_kid_1_x) title_buttons_kid_0_x) title_buttons_kid_5_x)))
 (let (($x1588 (or $x1212 (= (+ ?x1585 title_buttons_kid_0_width) 0.0))))
 (let ((?x1459 (- title_buttons_kid_4_x title_buttons_kid_3_x)))
 (let ((?x1579 (+ (- (- ?x1459 title_buttons_kid_1_x) title_buttons_kid_3_width) title_buttons_kid_0_x)))
 (let (($x1582 (or $x1212 (= (+ ?x1579 title_buttons_kid_0_width) 0.0))))
 (let ((?x1571 (- (- title_buttons_kid_3_x title_buttons_kid_1_x) title_buttons_kid_2_x)))
 (let ((?x1574 (+ (- (+ ?x1571 title_buttons_kid_0_x) title_buttons_kid_2_width) title_buttons_kid_0_width)))
 (let (($x1576 (or $x1212 (= ?x1574 0.0))))
 (let ((?x1565 (+ (+ (* (- 2.0) title_buttons_kid_1_x) title_buttons_kid_2_x) title_buttons_kid_0_x)))
 (let (($x1568 (= (+ (- ?x1565 title_buttons_kid_1_width) title_buttons_kid_0_width) 0.0)))
 (let (($x1569 (or $x1212 $x1568)))
 (let ((?x1558 (+ (- (- title_buttons_x) title_buttons_width) title_buttons_kid_9_x)))
 (let (($x1561 (or $x1212 (= (+ ?x1558 title_buttons_kid_9_width) 0.0))))
 (let (($x1556 (or $x1212 (= (+ (- title_buttons_x) title_buttons_kid_0_x) 0.0))))
 (let (($x1554 (or $x1212 (= title_buttons_kid_0_hight 50.0))))
 (let (($x1552 (or $x1212 (= (+ (- title_buttons_kid_9_hight) title_buttons_kid_0_hight) 0.0))))
 (let (($x1548 (or $x1212 (= (- title_buttons_kid_0_hight title_buttons_kid_8_hight) 0.0))))
 (let (($x1545 (or $x1212 (= (- title_buttons_kid_0_hight title_buttons_kid_7_hight) 0.0))))
 (let (($x1542 (or $x1212 (= (- title_buttons_kid_0_hight title_buttons_kid_6_hight) 0.0))))
 (let (($x1539 (or $x1212 (= (+ (- title_buttons_kid_5_hight) title_buttons_kid_0_hight) 0.0))))
 (let (($x1535 (or $x1212 (= (- title_buttons_kid_0_hight title_buttons_kid_4_hight) 0.0))))
 (let (($x1532 (or $x1212 (= (+ (- title_buttons_kid_3_hight) title_buttons_kid_0_hight) 0.0))))
 (let (($x1528 (or $x1212 (= (+ (- title_buttons_kid_2_hight) title_buttons_kid_0_hight) 0.0))))
 (let (($x1524 (or $x1212 (= (- title_buttons_kid_0_hight title_buttons_kid_1_hight) 0.0))))
 (let (($x1521 (or $x1212 (= title_buttons_kid_0_width 80.0))))
 (let (($x1518 (or $x1212 (= (+ (- title_buttons_kid_9_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1514 (or $x1212 (= (+ (- title_buttons_kid_8_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1510 (or $x1212 (= (- title_buttons_kid_0_width title_buttons_kid_7_width) 0.0))))
 (let (($x1507 (or $x1212 (= (+ (- title_buttons_kid_6_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1504 (or $x1212 (= (+ (- title_buttons_kid_5_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1501 (or $x1212 (= (+ (- title_buttons_kid_4_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1497 (or $x1212 (= (+ (- title_buttons_kid_3_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1493 (or $x1212 (= (+ (- title_buttons_kid_2_width) title_buttons_kid_0_width) 0.0))))
 (let (($x1489 (or $x1212 (= (+ (- title_buttons_kid_1_width) title_buttons_kid_0_width) 0.0))))
 (let ((?x1483 (- (+ (- title_buttons_kid_8_x) title_buttons_kid_9_x) title_buttons_kid_8_width)))
 (let (($x1485 (or $x1212 (>= ?x1483 0.0))))
 (let ((?x1478 (- (- title_buttons_kid_8_x title_buttons_kid_7_x) title_buttons_kid_7_width)))
 (let (($x1480 (or $x1212 (>= ?x1478 0.0))))
 (let ((?x1474 (- (+ (- title_buttons_kid_6_width) title_buttons_kid_7_x) title_buttons_kid_6_x)))
 (let (($x1476 (or $x1212 (>= ?x1474 0.0))))
 (let ((?x1469 (+ (- (- title_buttons_kid_5_width) title_buttons_kid_5_x) title_buttons_kid_6_x)))
 (let (($x1471 (or $x1212 (>= ?x1469 0.0))))
 (let (($x1466 (or $x1212 (>= (+ ?x1463 title_buttons_kid_5_x) 0.0))))
 (let (($x1462 (or $x1212 (>= (- ?x1459 title_buttons_kid_3_width) 0.0))))
 (let ((?x1456 (- (- title_buttons_kid_3_x title_buttons_kid_2_x) title_buttons_kid_2_width)))
 (let (($x1458 (or $x1212 (>= ?x1456 0.0))))
 (let ((?x1452 (- (+ (- title_buttons_kid_1_x) title_buttons_kid_2_x) title_buttons_kid_1_width)))
 (let (($x1454 (or $x1212 (>= ?x1452 0.0))))
 (let ((?x1447 (- (- title_buttons_kid_1_x title_buttons_kid_0_x) title_buttons_kid_0_width)))
 (let (($x1449 (or $x1212 (>= ?x1447 0.0))))
 (let ((?x1442 (- (- title_buttons_hight title_buttons_kid_9_y) title_buttons_kid_9_hight)))
 (let (($x1445 (or $x1212 (>= (+ ?x1442 title_buttons_y) 0.0))))
 (let (($x1440 (or $x1212 (>= (- title_buttons_kid_9_y title_buttons_y) 0.0))))
 (let ((?x1435 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_9_x) title_buttons_kid_9_width)))
 (let (($x1437 (or $x1212 (>= ?x1435 0.0))))
 (let (($x1433 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_9_x) 0.0))))
 (let ((?x1427 (- (- title_buttons_hight title_buttons_kid_8_y) title_buttons_kid_8_hight)))
 (let (($x1430 (or $x1212 (>= (+ ?x1427 title_buttons_y) 0.0))))
 (let (($x1425 (or $x1212 (>= (- title_buttons_kid_8_y title_buttons_y) 0.0))))
 (let ((?x1420 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_8_x) title_buttons_kid_8_width)))
 (let (($x1422 (or $x1212 (>= ?x1420 0.0))))
 (let (($x1418 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_8_x) 0.0))))
 (let ((?x1412 (- (- title_buttons_hight title_buttons_kid_7_y) title_buttons_kid_7_hight)))
 (let (($x1415 (or $x1212 (>= (+ ?x1412 title_buttons_y) 0.0))))
 (let (($x1410 (or $x1212 (>= (- title_buttons_kid_7_y title_buttons_y) 0.0))))
 (let ((?x1405 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_7_x) title_buttons_kid_7_width)))
 (let (($x1407 (or $x1212 (>= ?x1405 0.0))))
 (let (($x1403 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_7_x) 0.0))))
 (let ((?x1398 (- (+ (- title_buttons_hight title_buttons_kid_6_y) title_buttons_y) title_buttons_kid_6_hight)))
 (let (($x1400 (or $x1212 (>= ?x1398 0.0))))
 (let (($x1395 (or $x1212 (>= (- title_buttons_kid_6_y title_buttons_y) 0.0))))
 (let ((?x1390 (- (+ (- title_buttons_x title_buttons_kid_6_width) title_buttons_width) title_buttons_kid_6_x)))
 (let (($x1392 (or $x1212 (>= ?x1390 0.0))))
 (let (($x1387 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_6_x) 0.0))))
 (let ((?x1382 (- (+ (- title_buttons_hight title_buttons_kid_5_hight) title_buttons_y) title_buttons_kid_5_y)))
 (let (($x1384 (or $x1212 (>= ?x1382 0.0))))
 (let (($x1379 (or $x1212 (>= (+ (- title_buttons_y) title_buttons_kid_5_y) 0.0))))
 (let ((?x1374 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_5_width) title_buttons_kid_5_x)))
 (let (($x1376 (or $x1212 (>= ?x1374 0.0))))
 (let (($x1372 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_5_x) 0.0))))
 (let ((?x1367 (- (+ (- title_buttons_hight title_buttons_kid_4_y) title_buttons_y) title_buttons_kid_4_hight)))
 (let (($x1369 (or $x1212 (>= ?x1367 0.0))))
 (let (($x1364 (or $x1212 (>= (- title_buttons_kid_4_y title_buttons_y) 0.0))))
 (let ((?x1359 (+ (- (+ ?x1356 title_buttons_x) title_buttons_kid_4_width) title_buttons_width)))
 (let (($x1361 (or $x1212 (>= ?x1359 0.0))))
 (let (($x1355 (or $x1212 (>= (- title_buttons_kid_4_x title_buttons_x) 0.0))))
 (let ((?x1350 (- (+ (- title_buttons_hight title_buttons_kid_3_hight) title_buttons_y) title_buttons_kid_3_y)))
 (let (($x1352 (or $x1212 (>= ?x1350 0.0))))
 (let (($x1347 (or $x1212 (>= (+ (- title_buttons_y) title_buttons_kid_3_y) 0.0))))
 (let ((?x1341 (- (+ (- title_buttons_x title_buttons_kid_3_x) title_buttons_width) title_buttons_kid_3_width)))
 (let (($x1343 (or $x1212 (>= ?x1341 0.0))))
 (let (($x1338 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_3_x) 0.0))))
 (let ((?x1332 (- (- title_buttons_hight title_buttons_kid_2_y) title_buttons_kid_2_hight)))
 (let (($x1335 (or $x1212 (>= (+ ?x1332 title_buttons_y) 0.0))))
 (let (($x1330 (or $x1212 (>= (- title_buttons_kid_2_y title_buttons_y) 0.0))))
 (let ((?x1325 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_2_x) title_buttons_kid_2_width)))
 (let (($x1327 (or $x1212 (>= ?x1325 0.0))))
 (let (($x1323 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_2_x) 0.0))))
 (let ((?x1317 (- (- title_buttons_hight title_buttons_kid_1_y) title_buttons_kid_1_hight)))
 (let (($x1320 (or $x1212 (>= (+ ?x1317 title_buttons_y) 0.0))))
 (let (($x1315 (or $x1212 (>= (- title_buttons_kid_1_y title_buttons_y) 0.0))))
 (let ((?x1310 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_1_x) title_buttons_kid_1_width)))
 (let (($x1312 (or $x1212 (>= ?x1310 0.0))))
 (let (($x1308 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_1_x) 0.0))))
 (let ((?x1302 (- (- title_buttons_hight title_buttons_kid_0_y) title_buttons_kid_0_hight)))
 (let (($x1305 (or $x1212 (>= (+ ?x1302 title_buttons_y) 0.0))))
 (let (($x1300 (or $x1212 (>= (- title_buttons_kid_0_y title_buttons_y) 0.0))))
 (let ((?x1295 (- (- (+ title_buttons_x title_buttons_width) title_buttons_kid_0_x) title_buttons_kid_0_width)))
 (let (($x1297 (or $x1212 (>= ?x1295 0.0))))
 (let (($x1292 (or $x1212 (>= (+ (- title_buttons_x) title_buttons_kid_0_x) 0.0))))
 (let (($x1288 (>= title_buttons_kid_9_hight 0.0)))
 (let (($x1287 (>= title_buttons_kid_9_width 0.0)))
 (let (($x1286 (>= title_buttons_kid_9_y 0.0)))
 (let (($x1285 (>= title_buttons_kid_9_x 0.0)))
 (let (($x1284 (>= title_buttons_kid_8_hight 0.0)))
 (let (($x1283 (>= title_buttons_kid_8_width 0.0)))
 (let (($x1282 (>= title_buttons_kid_8_y 0.0)))
 (let (($x1281 (>= title_buttons_kid_8_x 0.0)))
 (let (($x1280 (>= title_buttons_kid_7_hight 0.0)))
 (let (($x1279 (>= title_buttons_kid_7_width 0.0)))
 (let (($x1278 (>= title_buttons_kid_7_y 0.0)))
 (let (($x1277 (>= title_buttons_kid_7_x 0.0)))
 (let (($x1276 (>= title_buttons_kid_6_hight 0.0)))
 (let (($x1275 (>= title_buttons_kid_6_width 0.0)))
 (let (($x1274 (>= title_buttons_kid_6_y 0.0)))
 (let (($x1273 (>= title_buttons_kid_6_x 0.0)))
 (let (($x1272 (>= title_buttons_kid_5_hight 0.0)))
 (let (($x1271 (>= title_buttons_kid_5_width 0.0)))
 (let (($x1270 (>= title_buttons_kid_5_y 0.0)))
 (let (($x1269 (>= title_buttons_kid_5_x 0.0)))
 (let (($x1268 (>= title_buttons_kid_4_hight 0.0)))
 (let (($x1267 (>= title_buttons_kid_4_width 0.0)))
 (let (($x1266 (>= title_buttons_kid_4_y 0.0)))
 (let (($x1265 (>= title_buttons_kid_4_x 0.0)))
 (let (($x1264 (>= title_buttons_kid_3_hight 0.0)))
 (let (($x1263 (>= title_buttons_kid_3_width 0.0)))
 (let (($x1262 (>= title_buttons_kid_3_y 0.0)))
 (let (($x1261 (>= title_buttons_kid_3_x 0.0)))
 (let (($x1260 (>= title_buttons_kid_2_hight 0.0)))
 (let (($x1259 (>= title_buttons_kid_2_width 0.0)))
 (let (($x1258 (>= title_buttons_kid_2_y 0.0)))
 (let (($x1257 (>= title_buttons_kid_2_x 0.0)))
 (let (($x1256 (>= title_buttons_kid_1_hight 0.0)))
 (let (($x1255 (>= title_buttons_kid_1_width 0.0)))
 (let (($x1254 (>= title_buttons_kid_1_y 0.0)))
 (let (($x1253 (>= title_buttons_kid_1_x 0.0)))
 (let (($x1252 (>= title_buttons_kid_0_hight 0.0)))
 (let (($x1251 (>= title_buttons_kid_0_width 0.0)))
 (let (($x1250 (>= title_buttons_kid_0_y 0.0)))
 (let (($x1249 (>= title_buttons_kid_0_x 0.0)))
 (let (($x1248 (or $x1212 $x1230)))
 (let (($x1247 (or title_buttons_feasible title_buttons_2_feasible)))
 (let ((?x1243 (- (+ (- title_buttons_holder_hight) title_buttons_2_y) title_buttons_holder_y)))
 (let (($x1246 (or $x1230 (= (+ ?x1243 title_buttons_2_hight) 0.0))))
 (let (($x1241 (or $x1230 (= (- title_buttons_2_y title_buttons_holder_y) 0.0))))
 (let ((?x1235 (- (+ (- title_buttons_holder_x) title_buttons_2_width) title_buttons_holder_width)))
 (let (($x1238 (or $x1230 (= (+ ?x1235 title_buttons_2_x) 0.0))))
 (let (($x1233 (or $x1230 (= (+ (- title_buttons_holder_x) title_buttons_2_x) 0.0))))
 (let ((?x1226 (- (+ (- title_buttons_holder_hight) title_buttons_hight) title_buttons_holder_y)))
 (let (($x1229 (or $x1212 (= (+ ?x1226 title_buttons_y) 0.0))))
 (let (($x1224 (or $x1212 (= (+ (- title_buttons_holder_y) title_buttons_y) 0.0))))
 (let ((?x1213 (- title_buttons_holder_x)))
 (let ((?x1214 (+ ?x1213 title_buttons_x)))
 (let (($x1219 (= (+ (- ?x1214 title_buttons_holder_width) title_buttons_width) 0.0)))
 (let (($x1220 (or $x1212 $x1219)))
 (let (($x1216 (or $x1212 (= ?x1214 0.0))))
 (let (($x1211 (>= title_buttons_2_hight 0.0)))
 (let (($x1210 (>= title_buttons_2_width 0.0)))
 (let (($x1209 (>= title_buttons_2_y 0.0)))
 (let (($x1208 (>= title_buttons_2_x 0.0)))
 (let (($x1207 (>= title_buttons_hight 0.0)))
 (let (($x1206 (>= title_buttons_width 0.0)))
 (let (($x1205 (>= title_buttons_y 0.0)))
 (let (($x1204 (>= title_buttons_x 0.0)))
 (let ((?x1160 (- (- title_pic_y) title_pic_hight)))
 (let ((?x1177 (+ ?x1160 title_buttons_holder_y)))
 (let (($x1178 (>= ?x1177 0.0)))
 (let ((?x1164 (- title_buttons_holder_x title_x)))
 (let (($x1165 (>= ?x1164 0.0)))
 (let ((?x1157 (- title_pic_y title_y)))
 (let (($x1158 (>= ?x1157 0.0)))
 (let ((?x1151 (- title_pic_x title_x)))
 (let (($x1152 (>= ?x1151 0.0)))
 (let (($x1203 (= (+ (- title_width) (* 10.0 title_pic_hight)) 0.0)))
 (let ((?x1199 (+ (- (- title_buttons_holder_hight title_y) title_hight) title_buttons_holder_y)))
 (let (($x1200 (= ?x1199 0.0)))
 (let (($x1196 (= ?x1157 0.0)))
 (let ((?x1193 (+ (+ (- title_width) title_buttons_holder_x) title_buttons_holder_width)))
 (let (($x1195 (= (- ?x1193 title_x) 0.0)))
 (let (($x1191 (= (- (+ (+ (- title_width) title_pic_x) title_pic_width) title_x) 0.0)))
 (let (($x1186 (= ?x1164 0.0)))
 (let (($x1185 (= ?x1151 0.0)))
 (let (($x1184 (= ?x1177 0.0)))
 (let (($x1183 (= (+ (- (+ ?x625 title_width) back_ground_width) title_x) 0.0)))
 (let ((?x637 (+ ?x625 title_x)))
 (let (($x1179 (= ?x637 0.0)))
 (let ((?x1175 (- (+ (+ (- title_buttons_holder_hight) title_y) title_hight) title_buttons_holder_y)))
 (let (($x1176 (>= ?x1175 0.0)))
 (let (($x1171 (>= (+ (- title_y) title_buttons_holder_y) 0.0)))
 (let ((?x1168 (+ (- (- title_width title_buttons_holder_x) title_buttons_holder_width) title_x)))
 (let (($x1169 (>= ?x1168 0.0)))
 (let (($x1163 (>= (+ (+ ?x1160 title_y) title_hight) 0.0)))
 (let (($x1156 (>= (+ (- (- title_width title_pic_x) title_pic_width) title_x) 0.0)))
 (let (($x1150 (>= title_buttons_holder_hight 0.0)))
 (let (($x1149 (>= title_buttons_holder_width 0.0)))
 (let (($x1148 (>= title_buttons_holder_y 0.0)))
 (let (($x1147 (>= title_buttons_holder_x 0.0)))
 (let (($x1146 (>= title_pic_hight 0.0)))
 (let (($x1145 (>= title_pic_width 0.0)))
 (let (($x1144 (>= title_pic_y 0.0)))
 (let (($x1143 (>= title_pic_x 0.0)))
 (let (($x1142 (or $x1068 (= search_bar_kid_0_hight 50.0))))
 (let (($x1140 (or $x1068 (= (+ (- search_bar_kid_1_hight) search_bar_kid_0_hight) 0.0))))
 (let ((?x1105 (+ (- (- search_bar_kid_0_width) search_bar_kid_0_x) search_bar_kid_1_x)))
 (let (($x1136 (or $x1068 (= ?x1105 10.0))))
 (let ((?x1132 (+ (- (+ (- search_bar_y) search_bar_kid_1_y) search_bar_hight) search_bar_kid_1_hight)))
 (let (($x1134 (or $x1068 (= ?x1132 (- 10.0)))))
 (let ((?x1128 (+ (- (+ (- search_bar_y) search_bar_kid_0_y) search_bar_hight) search_bar_kid_0_hight)))
 (let (($x1130 (or $x1068 (= ?x1128 (- 10.0)))))
 (let (($x1126 (or $x1068 (= (+ (- search_bar_y) search_bar_kid_1_y) 10.0))))
 (let (($x1124 (or $x1068 (= (+ (- search_bar_y) search_bar_kid_0_y) 10.0))))
 (let ((?x1120 (+ (- (+ (- search_bar_x) search_bar_kid_1_x) search_bar_width) search_bar_kid_1_width)))
 (let (($x1122 (or $x1068 (= ?x1120 (- 10.0)))))
 (let (($x1118 (or $x1068 (= (+ (- search_bar_x) search_bar_kid_0_x) 10.0))))
 (let (($x1116 (or $x1068 (= search_bar_kid_0_width 100.0))))
 (let (($x1114 (or $x1068 (= search_bar_kid_1_width 50.0))))
 (let ((?x1110 (+ (+ (- (- search_x) search_width) search_bar_x) search_bar_width)))
 (let (($x1112 (or $x688 (= ?x1110 0.0))))
 (let (($x1107 (or $x1068 (>= ?x1105 0.0))))
 (let ((?x1101 (- (+ (- search_bar_y search_bar_kid_1_y) search_bar_hight) search_bar_kid_1_hight)))
 (let (($x1103 (or $x1068 (>= ?x1101 0.0))))
 (let (($x1098 (or $x1068 (>= (+ (- search_bar_y) search_bar_kid_1_y) 0.0))))
 (let ((?x1093 (- (+ (- search_bar_x search_bar_kid_1_x) search_bar_width) search_bar_kid_1_width)))
 (let (($x1095 (or $x1068 (>= ?x1093 0.0))))
 (let (($x1090 (or $x1068 (>= (+ (- search_bar_x) search_bar_kid_1_x) 0.0))))
 (let ((?x1085 (- (+ (- search_bar_y search_bar_kid_0_y) search_bar_hight) search_bar_kid_0_hight)))
 (let (($x1087 (or $x1068 (>= ?x1085 0.0))))
 (let (($x1082 (or $x1068 (>= (+ (- search_bar_y) search_bar_kid_0_y) 0.0))))
 (let ((?x1076 (+ (- (+ (- search_bar_kid_0_width) search_bar_x) search_bar_kid_0_x) search_bar_width)))
 (let (($x1078 (or $x1068 (>= ?x1076 0.0))))
 (let (($x1072 (or $x1068 (>= (+ (- search_bar_x) search_bar_kid_0_x) 0.0))))
 (let (($x1067 (>= search_bar_kid_1_hight 0.0)))
 (let (($x1066 (>= search_bar_kid_1_width 0.0)))
 (let (($x1065 (>= search_bar_kid_1_y 0.0)))
 (let (($x1064 (>= search_bar_kid_1_x 0.0)))
 (let (($x1063 (>= search_bar_kid_0_hight 0.0)))
 (let (($x1062 (>= search_bar_kid_0_width 0.0)))
 (let (($x1061 (>= search_bar_kid_0_y 0.0)))
 (let (($x1060 (>= search_bar_kid_0_x 0.0)))
 (let (($x1059 (or $x688 (= (+ (- search_x) maps_x) 0.0))))
 (let (($x1057 (or $x874 (= (+ (- (- maps_kid_3_x) maps_kid_3_width) maps_kid_4_x) 0.0))))
 (let (($x1055 (or $x874 (= (- (- maps_kid_3_x maps_kid_2_x) maps_kid_2_width) 0.0))))
 (let (($x1053 (or $x874 (= (- (+ (- maps_kid_1_x) maps_kid_2_x) maps_kid_1_width) 0.0))))
 (let (($x1051 (or $x874 (= (- (- maps_kid_1_x maps_kid_0_x) maps_kid_0_width) 0.0))))
 (let (($x1049 (or $x874 (>= (+ (- (- maps_kid_3_x) maps_kid_3_width) maps_kid_4_x) 0.0))))
 (let (($x1044 (or $x874 (>= (- (- maps_kid_3_x maps_kid_2_x) maps_kid_2_width) 0.0))))
 (let (($x1040 (or $x874 (>= (- (+ (- maps_kid_1_x) maps_kid_2_x) maps_kid_1_width) 0.0))))
 (let (($x1035 (or $x874 (>= (- (- maps_kid_1_x maps_kid_0_x) maps_kid_0_width) 0.0))))
 (let (($x1030 (>= (- (+ (- maps_y maps_kid_4_y) maps_hight) maps_kid_4_hight) 10.0)))
 (let (($x1031 (or $x874 $x1030)))
 (let (($x1026 (or $x874 (>= (+ (- maps_y) maps_kid_4_y) 10.0))))
 (let (($x1023 (>= (- (+ (- maps_width maps_kid_4_width) maps_x) maps_kid_4_x) 10.0)))
 (let (($x1024 (or $x874 $x1023)))
 (let (($x1019 (or $x874 (>= (+ (- maps_x) maps_kid_4_x) 10.0))))
 (let (($x1014 (>= (- (- (+ maps_y maps_hight) maps_kid_3_y) maps_kid_3_hight) 10.0)))
 (let (($x1015 (or $x874 $x1014)))
 (let (($x1011 (or $x874 (>= (+ (- maps_y) maps_kid_3_y) 10.0))))
 (let (($x1008 (>= (+ (- (- maps_width maps_kid_3_x) maps_kid_3_width) maps_x) 10.0)))
 (let (($x1009 (or $x874 $x1008)))
 (let (($x1004 (or $x874 (>= (- maps_kid_3_x maps_x) 10.0))))
 (let (($x1000 (>= (- (+ (+ (- maps_kid_2_hight) maps_y) maps_hight) maps_kid_2_y) 10.0)))
 (let (($x1001 (or $x874 $x1000)))
 (let (($x996 (or $x874 (>= (+ (- maps_y) maps_kid_2_y) 10.0))))
 (let (($x993 (>= (+ (- (- maps_width maps_kid_2_x) maps_kid_2_width) maps_x) 10.0)))
 (let (($x994 (or $x874 $x993)))
 (let (($x989 (or $x874 (>= (- maps_kid_2_x maps_x) 10.0))))
 (let (($x985 (>= (- (- (+ maps_y maps_hight) maps_kid_1_y) maps_kid_1_hight) 10.0)))
 (let (($x986 (or $x874 $x985)))
 (let (($x981 (or $x874 (>= (+ (- maps_y) maps_kid_1_y) 10.0))))
 (let (($x978 (>= (+ (- (- maps_width maps_kid_1_x) maps_kid_1_width) maps_x) 10.0)))
 (let (($x979 (or $x874 $x978)))
 (let (($x974 (or $x874 (>= (- maps_kid_1_x maps_x) 10.0))))
 (let (($x970 (>= (- (+ (- maps_y maps_kid_0_hight) maps_hight) maps_kid_0_y) 10.0)))
 (let (($x971 (or $x874 $x970)))
 (let (($x966 (or $x874 (>= (+ (- maps_y) maps_kid_0_y) 10.0))))
 (let (($x963 (>= (- (+ (- maps_width maps_kid_0_x) maps_x) maps_kid_0_width) 10.0)))
 (let (($x964 (or $x874 $x963)))
 (let (($x959 (or $x874 (>= (- maps_kid_0_x maps_x) 10.0))))
 (let (($x957 (or $x874 (= maps_kid_0_hight 50.0))))
 (let (($x955 (or $x874 (= (- maps_kid_0_hight maps_kid_4_hight) 0.0))))
 (let (($x952 (or $x874 (= (- maps_kid_0_hight maps_kid_3_hight) 0.0))))
 (let (($x949 (or $x874 (= (+ (- maps_kid_2_hight) maps_kid_0_hight) 0.0))))
 (let (($x945 (or $x874 (= (- maps_kid_0_hight maps_kid_1_hight) 0.0))))
 (let (($x942 (or $x874 (= maps_kid_0_width 100.0))))
 (let (($x939 (or $x874 (= (+ (- maps_kid_4_width) maps_kid_0_width) 0.0))))
 (let (($x935 (or $x874 (= (+ (- maps_kid_3_width) maps_kid_0_width) 0.0))))
 (let (($x931 (or $x874 (= (+ (- maps_kid_2_width) maps_kid_0_width) 0.0))))
 (let (($x927 (or $x874 (= (+ (- maps_kid_1_width) maps_kid_0_width) 0.0))))
 (let (($x922 (= (+ (- (+ (- maps_y) maps_kid_4_y) maps_hight) maps_kid_4_hight) (- 10.0))))
 (let (($x923 (or $x874 $x922)))
 (let (($x918 (= (+ (+ (- (- maps_y) maps_hight) maps_kid_3_y) maps_kid_3_hight) (- 10.0))))
 (let (($x919 (or $x874 $x918)))
 (let (($x914 (= (+ (- (- maps_kid_2_hight maps_y) maps_hight) maps_kid_2_y) (- 10.0))))
 (let (($x915 (or $x874 $x914)))
 (let (($x909 (= (+ (+ (- (- maps_y) maps_hight) maps_kid_1_y) maps_kid_1_hight) (- 10.0))))
 (let (($x910 (or $x874 $x909)))
 (let (($x904 (= (+ (- (+ (- maps_y) maps_kid_0_hight) maps_hight) maps_kid_0_y) (- 10.0))))
 (let (($x905 (or $x874 $x904)))
 (let (($x900 (or $x874 (= (+ (- maps_y) maps_kid_4_y) 10.0))))
 (let (($x897 (or $x874 (= (+ (- maps_y) maps_kid_3_y) 10.0))))
 (let (($x894 (or $x874 (= (+ (- maps_y) maps_kid_2_y) 10.0))))
 (let (($x891 (or $x874 (= (+ (- maps_y) maps_kid_1_y) 10.0))))
 (let (($x888 (or $x874 (= (+ (- maps_y) maps_kid_0_y) 10.0))))
 (let (($x883 (= (+ (- (+ (- maps_width) maps_kid_4_width) maps_x) maps_kid_4_x) (- 10.0))))
 (let (($x884 (or $x874 $x883)))
 (let (($x878 (or $x874 (= (- maps_kid_0_x maps_x) 10.0))))
 (let (($x873 (>= maps_kid_4_hight 0.0)))
 (let (($x872 (>= maps_kid_4_width 0.0)))
 (let (($x871 (>= maps_kid_4_y 0.0)))
 (let (($x870 (>= maps_kid_4_x 0.0)))
 (let (($x869 (>= maps_kid_3_hight 0.0)))
 (let (($x868 (>= maps_kid_3_width 0.0)))
 (let (($x867 (>= maps_kid_3_y 0.0)))
 (let (($x866 (>= maps_kid_3_x 0.0)))
 (let (($x865 (>= maps_kid_2_hight 0.0)))
 (let (($x864 (>= maps_kid_2_width 0.0)))
 (let (($x863 (>= maps_kid_2_y 0.0)))
 (let (($x862 (>= maps_kid_2_x 0.0)))
 (let (($x861 (>= maps_kid_1_hight 0.0)))
 (let (($x860 (>= maps_kid_1_width 0.0)))
 (let (($x859 (>= maps_kid_1_y 0.0)))
 (let (($x858 (>= maps_kid_1_x 0.0)))
 (let (($x857 (>= maps_kid_0_hight 0.0)))
 (let (($x856 (>= maps_kid_0_width 0.0)))
 (let (($x855 (>= maps_kid_0_y 0.0)))
 (let (($x854 (>= maps_kid_0_x 0.0)))
 (let (($x853 (or $x688 (>= (+ (- (- maps_width) maps_x) search_bar_x) 0.0))))
 (let (($x848 (>= (+ (- (- search_hight search_bar_y) search_bar_hight) search_y) 0.0)))
 (let (($x849 (or $x688 $x848)))
 (let (($x844 (or $x688 (>= (- search_bar_y search_y) 0.0))))
 (let (($x840 (>= (- (- (+ search_x search_width) search_bar_x) search_bar_width) 0.0)))
 (let (($x841 (or $x688 $x840)))
 (let (($x836 (or $x688 (>= (+ (- search_x) search_bar_x) 0.0))))
 (let (($x833 (or $x688 (>= (+ (- (- search_hight maps_y) maps_hight) search_y) 0.0))))
 (let (($x828 (or $x688 (>= (- maps_y search_y) 0.0))))
 (let (($x824 (>= (- (+ (+ (- maps_width) search_x) search_width) maps_x) 0.0)))
 (let (($x825 (or $x688 $x824)))
 (let (($x819 (or $x688 (>= (+ (- search_x) maps_x) 0.0))))
 (let (($x815 (>= search_bar_hight 0.0)))
 (let (($x814 (>= search_bar_width 0.0)))
 (let (($x813 (>= search_bar_y 0.0)))
 (let (($x812 (>= search_bar_x 0.0)))
 (let (($x811 (>= maps_hight 0.0)))
 (let (($x810 (>= maps_width 0.0)))
 (let (($x809 (>= maps_y 0.0)))
 (let (($x808 (>= maps_x 0.0)))
 (let ((?x805 (- (+ (+ (- search_2_hight) search_2_kid_1_y) search_2_kid_1_hight) search_2_y)))
 (let (($x807 (or $x706 (= ?x805 0.0))))
 (let (($x802 (or $x706 (= (- search_2_kid_1_y search_2_y) 0.0))))
 (let ((?x798 (+ (- (+ (- search_2_hight) search_2_kid_0_y) search_2_y) search_2_kid_0_hight)))
 (let (($x800 (or $x706 (= ?x798 0.0))))
 (let (($x794 (or $x706 (= (- search_2_kid_0_y search_2_y) 0.0))))
 (let ((?x790 (+ (- (- search_2_kid_1_width search_2_x) search_2_width) search_2_kid_1_x)))
 (let (($x792 (or $x706 (= ?x790 0.0))))
 (let (($x787 (or $x706 (= (- search_2_kid_0_x search_2_x) 0.0))))
 (let (($x785 (or $x706 (= (- (* 2.0 search_2_kid_1_width) search_2_width) 0.0))))
 (let (($x780 (or $x706 (= search_2_kid_0_width 50.0))))
 (let (($x778 (= search_2_hight 50.0)))
 (let (($x775 (>= (+ (- (- search_2_kid_0_x) search_2_kid_0_width) search_2_kid_1_x) 0.0)))
 (let (($x776 (or $x706 $x775)))
 (let ((?x770 (+ (- (- search_2_hight search_2_kid_1_y) search_2_kid_1_hight) search_2_y)))
 (let (($x772 (or $x706 (>= ?x770 0.0))))
 (let (($x767 (or $x706 (>= (- search_2_kid_1_y search_2_y) 0.0))))
 (let ((?x762 (- (+ (+ (- search_2_kid_1_width) search_2_x) search_2_width) search_2_kid_1_x)))
 (let (($x764 (or $x706 (>= ?x762 0.0))))
 (let (($x758 (or $x706 (>= (+ (- search_2_x) search_2_kid_1_x) 0.0))))
 (let ((?x752 (- (+ (- search_2_hight search_2_kid_0_y) search_2_y) search_2_kid_0_hight)))
 (let (($x754 (or $x706 (>= ?x752 0.0))))
 (let (($x749 (or $x706 (>= (- search_2_kid_0_y search_2_y) 0.0))))
 (let ((?x744 (+ (- (+ (- search_2_kid_0_x) search_2_x) search_2_kid_0_width) search_2_width)))
 (let (($x746 (or $x706 (>= ?x744 0.0))))
 (let (($x740 (or $x706 (>= (- search_2_kid_0_x search_2_x) 0.0))))
 (let (($x737 (>= search_2_kid_1_hight 0.0)))
 (let (($x736 (>= search_2_kid_1_width 0.0)))
 (let (($x735 (>= search_2_kid_1_y 0.0)))
 (let (($x734 (>= search_2_kid_1_x 0.0)))
 (let (($x733 (>= search_2_kid_0_hight 0.0)))
 (let (($x732 (>= search_2_kid_0_width 0.0)))
 (let (($x731 (>= search_2_kid_0_y 0.0)))
 (let (($x730 (>= search_2_kid_0_x 0.0)))
 (let ((?x728 (+ (- (+ ?x625 search_holder_width) back_ground_width) search_holder_x)))
 (let (($x729 (= ?x728 0.0)))
 (let ((?x626 (+ ?x625 search_holder_x)))
 (let (($x725 (= ?x626 0.0)))
 (let (($x724 (or $x688 $x706)))
 (let (($x723 (or search_feasible search_2_feasible)))
 (let ((?x720 (+ (- (- search_2_hight search_holder_y) search_holder_hight) search_2_y)))
 (let (($x722 (or $x706 (= ?x720 0.0))))
 (let (($x717 (or $x706 (= (+ (- search_holder_y) search_2_y) 0.0))))
 (let ((?x712 (- (+ (+ (- search_holder_width) search_2_x) search_2_width) search_holder_x)))
 (let (($x714 (or $x706 (= ?x712 0.0))))
 (let (($x709 (or $x706 (= (- search_2_x search_holder_x) 0.0))))
 (let ((?x703 (+ (- (- search_hight search_holder_y) search_holder_hight) search_y)))
 (let (($x705 (or $x688 (= ?x703 0.0))))
 (let (($x700 (or $x688 (= (+ (- search_holder_y) search_y) 0.0))))
 (let ((?x695 (- (+ (+ (- search_holder_width) search_x) search_width) search_holder_x)))
 (let (($x697 (or $x688 (= ?x695 0.0))))
 (let (($x691 (or $x688 (= (- search_x search_holder_x) 0.0))))
 (let (($x687 (>= search_2_hight 0.0)))
 (let (($x686 (>= search_2_width 0.0)))
 (let (($x685 (>= search_2_y 0.0)))
 (let (($x684 (>= search_2_x 0.0)))
 (let (($x683 (>= search_hight 0.0)))
 (let (($x682 (>= search_width 0.0)))
 (let (($x681 (>= search_y 0.0)))
 (let (($x680 (>= search_x 0.0)))
 (let (($x679 (= (- back_ground_y BC_y) 0.0)))
 (let ((?x618 (- (- theme_y main_body_holder_y) main_body_holder_hight)))
 (let (($x677 (>= ?x618 0.0)))
 (let ((?x615 (- (- main_body_holder_y title_y) title_hight)))
 (let (($x676 (>= ?x615 0.0)))
 (let ((?x612 (- (+ (- search_holder_y) title_y) search_holder_hight)))
 (let (($x675 (>= ?x612 0.0)))
 (let (($x674 (>= (+ (+ (- ?x670 theme_hight) back_ground_y) back_ground_hight) 0.0)))
 (let (($x669 (>= (- theme_y back_ground_y) 0.0)))
 (let (($x667 (>= (- (- (+ back_ground_x back_ground_width) theme_x) theme_width) 0.0)))
 (let (($x664 (>= ?x663 0.0)))
 (let ((?x661 (+ (+ (- (- main_body_holder_y) main_body_holder_hight) back_ground_y) back_ground_hight)))
 (let (($x662 (>= ?x661 0.0)))
 (let (($x657 (>= (- main_body_holder_y back_ground_y) 0.0)))
 (let ((?x654 (- (- (+ back_ground_x back_ground_width) main_body_holder_x) main_body_holder_width)))
 (let (($x655 (>= ?x654 0.0)))
 (let (($x651 (>= (+ ?x625 main_body_holder_x) 0.0)))
 (let ((?x648 (+ (- (+ (- title_y) back_ground_y) title_hight) back_ground_hight)))
 (let (($x649 (>= ?x648 0.0)))
 (let (($x644 (>= (- title_y back_ground_y) 0.0)))
 (let (($x642 (>= (- (+ (- back_ground_x title_width) back_ground_width) title_x) 0.0)))
 (let (($x638 (>= ?x637 0.0)))
 (let ((?x635 (+ (- (+ (- search_holder_y) back_ground_y) search_holder_hight) back_ground_hight)))
 (let (($x636 (>= ?x635 0.0)))
 (let ((?x608 (- search_holder_y back_ground_y)))
 (let (($x632 (>= ?x608 0.0)))
 (let ((?x630 (- (+ (- back_ground_x search_holder_width) back_ground_width) search_holder_x)))
 (let (($x631 (>= ?x630 0.0)))
 (let (($x627 (>= ?x626 0.0)))
 (let (($x624 (= (- (+ (- back_ground_x BC_x) back_ground_width) BC_width) 0.0)))
 (let ((?x620 (- back_ground_x BC_x)))
 (let (($x621 (= ?x620 0.0)))
 (let (($x619 (= ?x618 0.0)))
 (let (($x616 (= ?x615 0.0)))
 (let (($x613 (= ?x612 0.0)))
 (let (($x609 (= ?x608 0.0)))
 (let (($x607 (>= theme_hight 0.0)))
 (let (($x606 (>= theme_width 0.0)))
 (let (($x605 (>= theme_y 0.0)))
 (let (($x604 (>= theme_x 0.0)))
 (let (($x603 (>= main_body_holder_hight 0.0)))
 (let (($x602 (>= main_body_holder_width 0.0)))
 (let (($x601 (>= main_body_holder_y 0.0)))
 (let (($x600 (>= main_body_holder_x 0.0)))
 (let (($x599 (>= title_hight 0.0)))
 (let (($x598 (>= title_width 0.0)))
 (let (($x597 (>= title_y 0.0)))
 (let (($x596 (>= title_x 0.0)))
 (let (($x595 (>= search_holder_hight 0.0)))
 (let (($x594 (>= search_holder_width 0.0)))
 (let (($x593 (>= search_holder_y 0.0)))
 (let (($x592 (>= search_holder_x 0.0)))
 (let (($x591 (>= back_ground_hight 0.0)))
 (let (($x590 (>= back_ground_width 0.0)))
 (let (($x589 (>= back_ground_y 0.0)))
 (let (($x588 (>= back_ground_x 0.0)))
 (let (($x587 (= BC_y 0.0)))
 (let (($x586 (= BC_x 0.0)))
 (let (($x585 (<= BC_width 4000.0)))
 (let (($x583 (>= BC_hight 0.0)))
 (let (($x582 (>= BC_width 0.0)))
 (let (($x581 (>= BC_y 0.0)))
 (let (($x580 (>= BC_x 0.0)))
 (and $x580 $x581 $x582 $x583 $x585 $x586 $x587 BC_feasible $x588 $x589 $x590 $x591 $x592 $x593 $x594 $x595 $x596 $x597 $x598 $x599 $x600 $x601 $x602 $x603 $x604 $x605 $x606 $x607 $x609 $x613 $x616 $x619 $x621 $x624 $x627 $x631 $x632 $x636 $x638 $x642 $x644 $x649 $x651 $x655 $x657 $x662 $x664 $x667 $x669 $x674 $x675 $x676 $x677 $x679 $x680 $x681 $x682 $x683 $x684 $x685 $x686 $x687 $x691 $x697 $x700 $x705 $x709 $x714 $x717 $x722 $x723 $x724 $x725 $x729 $x730 $x731 $x732 $x733 $x734 $x735 $x736 $x737 $x740 $x746 $x749 $x754 $x758 $x764 $x767 $x772 $x776 $x778 $x780 $x785 $x787 $x792 $x794 $x800 $x802 $x807 $x808 $x809 $x810 $x811 $x812 $x813 $x814 $x815 $x819 $x825 $x828 $x833 $x836 $x841 $x844 $x849 $x853 $x854 $x855 $x856 $x857 $x858 $x859 $x860 $x861 $x862 $x863 $x864 $x865 $x866 $x867 $x868 $x869 $x870 $x871 $x872 $x873 $x878 $x884 $x888 $x891 $x894 $x897 $x900 $x905 $x910 $x915 $x919 $x923 $x927 $x931 $x935 $x939 $x942 $x945 $x949 $x952 $x955 $x957 $x959 $x964 $x966 $x971 $x974 $x979 $x981 $x986 $x989 $x994 $x996 $x1001 $x1004 $x1009 $x1011 $x1015 $x1019 $x1024 $x1026 $x1031 $x1035 $x1040 $x1044 $x1049 $x1051 $x1053 $x1055 $x1057 $x1059 $x1060 $x1061 $x1062 $x1063 $x1064 $x1065 $x1066 $x1067 $x1072 $x1078 $x1082 $x1087 $x1090 $x1095 $x1098 $x1103 $x1107 $x1112 $x1114 $x1116 $x1118 $x1122 $x1124 $x1126 $x1130 $x1134 $x1136 $x1140 $x1142 $x1143 $x1144 $x1145 $x1146 $x1147 $x1148 $x1149 $x1150 $x1152 $x1156 $x1158 $x1163 $x1165 $x1169 $x1171 $x1176 $x1178 $x1179 $x1183 $x1184 $x1185 $x1186 $x1191 $x1195 $x1196 $x1200 $x1203 $x1152 $x1158 $x1165 $x1178 $x1204 $x1205 $x1206 $x1207 $x1208 $x1209 $x1210 $x1211 $x1216 $x1220 $x1224 $x1229 $x1233 $x1238 $x1241 $x1246 $x1247 $x1248 $x1249 $x1250 $x1251 $x1252 $x1253 $x1254 $x1255 $x1256 $x1257 $x1258 $x1259 $x1260 $x1261 $x1262 $x1263 $x1264 $x1265 $x1266 $x1267 $x1268 $x1269 $x1270 $x1271 $x1272 $x1273 $x1274 $x1275 $x1276 $x1277 $x1278 $x1279 $x1280 $x1281 $x1282 $x1283 $x1284 $x1285 $x1286 $x1287 $x1288 $x1292 $x1297 $x1300 $x1305 $x1308 $x1312 $x1315 $x1320 $x1323 $x1327 $x1330 $x1335 $x1338 $x1343 $x1347 $x1352 $x1355 $x1361 $x1364 $x1369 $x1372 $x1376 $x1379 $x1384 $x1387 $x1392 $x1395 $x1400 $x1403 $x1407 $x1410 $x1415 $x1418 $x1422 $x1425 $x1430 $x1433 $x1437 $x1440 $x1445 $x1449 $x1454 $x1458 $x1462 $x1466 $x1471 $x1476 $x1480 $x1485 $x1489 $x1493 $x1497 $x1501 $x1504 $x1507 $x1510 $x1514 $x1518 $x1521 $x1524 $x1528 $x1532 $x1535 $x1539 $x1542 $x1545 $x1548 $x1552 $x1554 $x1556 $x1561 $x1569 $x1576 $x1582 $x1588 $x1595 $x1602 $x1609 $x1616 $x1617 $x1618 $x1619 $x1620 $x1621 $x1622 $x1623 $x1624 $x1627 $x1632 $x1636 $x1642 $x1645 $x1651 $x1654 $x1659 $x1663 $x1666 $x1668 $x1669 $x1671 $x1676 $x1678 $x1682 $x1684 $x1689 $x1690 $x1691 $x1692 $x1693 $x1694 $x1695 $x1696 $x1697 $x1702 $x1707 $x1710 $x1714 $x1718 $x1723 $x1726 $x1730 $x1731 $x1732 $x1737 $x1741 $x1747 $x1748 $x1749 $x1750 $x1751 $x1752 $x1753 $x1754 $x1755 $x1758 $x1764 $x1767 $x1770 $x1775 $x1780 $x1782 $x1787 $x1789 $x1795 $x1798 $x1803 $x1805 $x1811 $x1815 $x1817 $x1820 $x1824 $x1825 $x1826 $x1827 $x1828 $x1829 $x1830 $x1831 $x1832 $x1833 $x1834 $x1835 $x1836 $x1840 $x1846 $x1849 $x1855 $x1858 $x1864 $x1867 $x1873 $x1876 $x1882 $x1885 $x1889 $x1893 $x1897 $x1899 $x1901 $x1903 $x1907 $x1912 $x1917 $x1919 $x1923 $x1929 $x1930 $x1931 $x1932 $x1933 $x1934 $x1935 $x1936 $x1937 $x1941 $x1946 $x1949 $x1954 $x1957 $x1963 $x1966 $x1971 $x1976 $x1978 $x1980 $x1985 $x1990 $x1992 $x1997 $x2000 $x2002 $x2003 $x2004 $x2005 $x2006 $x2007 $x2008 $x2009 $x2010 $x2011 $x2012 $x2013 $x2014 $x2018 $x2023 $x2026 $x2032 $x2035 $x2040 $x2043 $x2049 $x2052 $x2057 $x2060 $x2066 $x2070 $x2075 $x2079 $x2083 $x2085 $x2087 $x2091 $x2093 $x2098 $x2100 $x2105 $x2107 $x2109 $x2111 $x2112 $x2113 $x2114 $x2115 $x2116 $x2117 $x2118 $x2119 $x2120 $x2121 $x2122 $x2123 $x2124 $x2125 $x2126 $x2127 $x2128 $x2129 $x2130 $x2131 $x2132 $x2133 $x2134 $x2135 $x2136 $x2137 $x2138 $x2139 $x2143 $x2146 $x2149 $x2152 $x2155 $x2158 $x2161 $x2166 $x2171 $x2176 $x2181 $x2186 $x2191 $x2196 $x2200 $x2205 $x2207 $x2212 $x2214 $x2220 $x2222 $x2228 $x2231 $x2236 $x2238 $x2243 $x2246 $x2252 $x2254 $x2260 $x2263 $x2269 $x2271 $x2276 $x2279 $x2285 $x2287 $x2292 $x2295 $x2301 $x2303 $x2308 $x2311 $x2317 $x2321 $x2325 $x2329 $x2333 $x2337 $x2341 $x2344 $x2347 $x2350 $x2353 $x2356 $x2359 $x2362 $x2143 $x2146 $x2149 $x2152 $x2155 $x2158 $x2161 $x2364 $x2366 $x2368 $x2370 $x2372 $x2374 $x2375 $x2376 $x2377 $x2378 $x2379 $x2380 $x2381 $x2382 $x2386 $x2391 $x2395 $x2401 $x2404 $x2409 $x2412 $x2418 $x2422 $x2424 $x2426 $x2430 $x2435 $x2437 $x2441 $x2443 $x2445 $x2447 $x2448 $x2449 $x2450 $x2451 $x2452 $x2453 $x2454 $x2455 $x2456 $x2457 $x2458 $x2459 $x2464 $x2469 $x2472 $x2477 $x2480 $x2486 $x2489 $x2494 $x2497 $x2501 $x2504 $x2509 $x2514 $x2518 $x2521 $x2525 $x2527 $x2529 $x2534 $x2536 $x2541 $x2543 $x2548 $x2550 $x2552 $x2554 $x2555 $x2556 $x2557 $x2558 $x2559 $x2560 $x2561 $x2562 $x2563 $x2564 $x2565 $x2566 $x2567 $x2568 $x2569 $x2570 $x2571 $x2572 $x2573 $x2574 $x2575 $x2576 $x2577 $x2578 $x2579 $x2580 $x2581 $x2582 $x2586 $x2589 $x2592 $x2596 $x2599 $x2602 $x2605 $x2611 $x2616 $x2621 $x2626 $x2631 $x2636 $x2641 $x2644 $x2649 $x2651 $x2656 $x2658 $x2664 $x2666 $x2671 $x2674 $x2680 $x2682 $x2687 $x2690 $x2696 $x2698 $x2703 $x2706 $x2711 $x2713 $x2718 $x2721 $x2727 $x2729 $x2734 $x2737 $x2743 $x2745 $x2750 $x2753 $x2759 $x2763 $x2766 $x2770 $x2774 $x2778 $x2782 $x2785 $x2788 $x2791 $x2794 $x2797 $x2800 $x2802 $x2586 $x2589 $x2592 $x2596 $x2599 $x2602 $x2605 $x2804 $x2806 $x2808 $x2810 $x2812 $x2814 $x2815 $x2816 $x2817 $x2818 $x2819 $x2820 $x2821 $x2822 $x2823 $x2824 $x2825 $x2826 $x2830 $x2836 $x2839 $x2844 $x2847 $x2853 $x2856 $x2861 $x2864 $x2870 $x2873 $x2877 $x2882 $x2887 $x2889 $x2891 $x2893 $x2897 $x2901 $x2906 $x2908 $x2912 $x2914 $x2916 $x2917 $x2918 $x2919 $x2920 $x2921 $x2922 $x2923 $x2924 $x2928 $x2933 $x2936 $x2940 $x2944 $x2948 $x2951 $x2956 $x2958 $x2959 $x2960 $x2961 $x2962 $x2963 $x2964 $x2965 $x2966 $x2967 $x2968 $x2969 $x2970 $x2971 $x2972 $x2973 $x2974 $x2975 $x2977 $x2981 $x2985 $x2989 $x2993 $x2994 $x2997 $x3000 $x3003 $x3004 $x3008 $x3012 $x3015 $x3016 $x3020 $x3023 $x3026 $x3027 $x3031 $x3035 $x3038 $x3041 $x3044 $x3047 $x3050 $x3053 $x3056 $x3059 $x3064 $x3069 $x3072 $x3077 $x3082 $x3083 $x3084 $x3085 $x3086 $x3093 $x3100 $x3103 $x3106 $x3107 $x3108 $x3109 $x3110 $x3117 $x3124 $x3126 $x3128 $x3129 $x3130 $x3131 $x3132 $x3139 $x3146 $x3148 $x3150 $x3151 $x3152 $x3153 $x3154 $x3161 $x3168 $x3170 $x3172 $x3175 $x3181 $x3184 $x3190 $x3193 $x3199 $x3202 $x3208 $x3211 $x3217 $x3220 $x3226 $x3229 $x3235 $x3239 $x3245 $x3249 $x3253 $x3257 $x3259 $x3264 $x3271 $x3278 $x3279 $x3285 $x3291 $x3296 $x3302 $x3303 $x3304 $x3305 $x3306 $x3307 $x3308 $x3309 $x3310 $x3314 $x3320 $x3323 $x3328 $x3331 $x3336 $x3339 $x3344 $x3348 $x3350 $x3352 $x3357 $x3362 $x3364 $x3369 $x3371 $x3373 $x3374 $x3375 $x3376 $x3377 $x3378 $x3379 $x3380 $x3381 $x3382 $x3383 $x3384 $x3385 $x3386 $x3387 $x3388 $x3389 $x3390 $x3391 $x3392 $x3393 $x3394 $x3395 $x3396 $x3397 $x3398 $x3399 $x3400 $x3401 $x3402 $x3403 $x3404 $x3405 $x3406 $x3407 $x3408 $x3409 $x3410 $x3411 $x3412 $x3413 $x3418 $x3423 $x3427 $x3432 $x3435 $x3441 $x3444 $x3450 $x3453 $x3459 $x3462 $x3468 $x3471 $x3477 $x3480 $x3486 $x3489 $x3495 $x3498 $x3504 $x3507 $x3513 $x3516 $x3521 $x3524 $x3529 $x3532 $x3537 $x3540 $x3545 $x3548 $x3553 $x3556 $x3562 $x3565 $x3571 $x3574 $x3580 $x3583 $x3589 $x3593 $x3597 $x3601 $x3604 $x3608 $x3612 $x3617 $x3621 $x3625 $x3629 $x3632 $x3636 $x3639 $x3642 $x3645 $x3648 $x3652 $x3655 $x3657 $x3659 $x3663 $x3665 $x3669 $x3671 $x3676 $x3678 $x3683 $x3685 $x3690 $x3692 $x3697 $x3699 $x3703 $x3705 $x3709 $x3711 $x3715 $x3717 $x3722 $x3724 $x3729 $x3731 $x3733 $x3735 $x3737 $x3739 $x3741 $x3743 $x3745 $x3747 $x3748 $x3749 $x3750 $x3751 $x3755 $x3761 $x3765 $x3771 $x3773 $x3775 $x3780 $x3782 $x3783 $x3784 $x3785 $x3786 $x3787 $x3788 $x3789 $x3790 $x3794 $x3799 $x3802 $x3807 $x3810 $x3815 $x3818 $x3823 $x3827 $x3829 $x3831 $x3835 $x3840 $x3842 $x3847 $x3849 $x3851 $x3854 $x3855 $x3856 $x3857 $x3858 $x3859 $x3860 $x3861 $x3862 $x3863 $x3864 $x3865 $x3866 $x3867 $x3868 $x3869 $x3870 $x3875 $x3880 $x3883 $x3889 $x3892 $x3896 $x3899 $x3905 $x3908 $x3912 $x3915 $x3921 $x3924 $x3929 $x3933 $x3939 $x3944 $x3948 $x3952 $x3955 $x3959 $x3963 $x3966 $x3968 $x3973 $x3975 $x3980 $x3982 $x3987 $x3989 $x3994 $x3996 $x3998 $x4000 $x4002 $x4003 $x4004 $x4005 $x4006 $x4007 $x4008 $x4009 $x4010 $x4011 $x4012 $x4013 $x4014 $x4015 $x4016 $x4017 $x4018 $x4019 $x4020 $x4021 $x4022 $x4023 $x4024 $x4025 $x4026 $x4027 $x4028 $x4029 $x4030 $x4031 $x4032 $x4033 $x4034 $x4035 $x4036 $x4037 $x4038 $x4039 $x4040 $x4041 $x4042 $x4046 $x4052 $x4056 $x4062 $x4065 $x4070 $x4073 $x4078 $x4082 $x4087 $x4090 $x4095 $x4098 $x4103 $x4106 $x4112 $x4115 $x4120 $x4123 $x4129 $x4132 $x4137 $x4140 $x4146 $x4149 $x4154 $x4157 $x4163 $x4166 $x4172 $x4175 $x4181 $x4184 $x4190 $x4193 $x4198 $x4201 $x4207 $x4210 $x4216 $x4220 $x4224 $x4228 $x4232 $x4236 $x4239 $x4243 $x4247 $x4251 $x4254 $x4257 $x4260 $x4263 $x4266 $x4269 $x4272 $x4275 $x4278 $x4280 $x4282 $x4284 $x4286 $x4288 $x4290 $x4292 $x4294 $x4296 $x4298 $x4300 $x4305 $x4311 $x4316 $x4321 $x4326 $x4331 $x4336 $x4341 $x4346 $x4351 $x4353 $x4357 $x4359 $x4361 $x4363 $x4365 $x4367 $x4369 $x4371 $x4373 $x4375 $x4378 $x4381 $x4384 $x4387 $x4390 $x4393 $x4399 $x4404 $x4409 $x4414 $x4419 $x4424 $x4427 $x4433 $x4435 $x4440 $x4442 $x4446 $x4448 $x4453 $x4456 $x4461 $x4463 $x4468 $x4471 $x4476 $x4478 $x4483 $x4486 $x4491 $x4493 $x4498 $x4501 $x4506 $x4508 $x4513 $x4515 $x4520 $x4523 $x4527 $x4528 $x4532 $x4533 $x4536 $x4538 $x4540 $x4542 $x4544 $x4545 $x4546 $x4547 $x4548 $x4549 $x4550 $x4551 $x4552 $x4553 $x4554 $x4555 $x4556 $x4557 $x4558 $x4559 $x4560 $x4561 $x4562 $x4563 $x4564 $x4565 $x4566 $x4567 $x4568 $x4569 $x4572 $x4576 $x4578 $x4582 $x4584 $x4588 $x4590 $x4594 $x4596 $x4601 $x4603 $x4608 $x4610 $x4615 $x4617 $x4622 $x4624 $x4629 $x4631 $x4635 $x4637 $x4642 $x4644 $x4648 $x4652 $x4655 $x4658 $x4660 $x4663 $x4664 $x4668 $x4669 $x4670 $x4671 $x4672 $x4673 $x4674 $x4677 $x4680 $x4683 $x4687 $x4691 $x4694 $x4696 $x4699 $x4702 $x4704 $x4707 $x4708 $x4709 $x4710 $x4711 $x4712 $x4713 $x4717 back_ground_feasible search_holder_feasible title_feasible main_body_holder_feasible theme_feasible $x4719 $x4720 $x4722 $x4723 $x4724 $x4725 $x4726 $x4727 $x4729 $x4730 $x4732 $x4733 $x4735 $x4736 $x4738 $x4739 $x4741 $x4742 $x4744 $x4745 $x4747 $x4748 title_pic_feasible title_buttons_holder_feasible $x4750 $x4751 $x4753 $x4754 $x4756 $x4757 $x4759 $x4760 $x4762 $x4763 $x4765 $x4766 $x4768 $x4769 $x4771 $x4772 $x4774 $x4775 $x4777 $x4778 $x4780 $x4781 $x4783 $x4784 $x4785 $x4786 $x4787 $x4788 $x4789 $x4790 $x4792 $x4793 $x4794 $x4795 $x4796 $x4797 $x4798 $x4799 $x4800 $x4801 $x4802 $x4803 $x4804 $x4805 $x4807 $x4808 $x4810 $x4811 $x4813 $x4814 $x4816 $x4817 $x4819 $x4820 $x4822 $x4823 $x4825 $x4826 $x4828 $x4829 $x4831 $x4832 $x4834 $x4835 $x4836 $x4837 $x4838 $x4839 $x4841 $x4842 $x4844 $x4845 $x4847 $x4848 $x4850 $x4851 $x4853 $x4854 $x4856 $x4857 $x4859 $x4860 $x4862 $x4863 $x4865 $x4866 $x4868 $x4869 $x4870 $x4871 $x4872 $x4873 $x4874 $x4875 $x4876 $x4877 $x4878 $x4879 $x4880 $x4881 $x4882 $x4883 $x4885 $x4886 $x4888 $x4889 $x4891 $x4892 $x4894 $x4895 $x4896 $x4897 $x4899 $x4900 $x4901 $x4902 $x4904 $x4905 $x4906 $x4907 $x4909 $x4910 $x4911 $x4912 $x4914 $x4915 $x4916 $x4917 $x4918 $x4919 $x4921 $x4922 $x4924 $x4925 $x4927 $x4928 $x4930 $x4931 $x4933 $x4934 $x4936 $x4937 $x4939 $x4940 $x4942 $x4943 $x4945 $x4946 $x4948 $x4949 $x4951 $x4952 $x4953 $x4954 $x4955 $x4956 $x4958 $x4959 $x4961 $x4962 $x4964 $x4965 $x4967 $x4968 $x4970 $x4971 $x4973 $x4974 $x4976 $x4977 $x4979 $x4980 $x4982 $x4983 $x4985 $x4986 $x4988 $x4989 $x4991 $x4992 $x4994 $x4995 $x4997 $x4998 theme_kid_0_feasible theme_kid_1_feasible theme_kid_2_feasible theme_kid_3_feasible theme_kid_4_feasible theme_kid_5_feasible))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
(check-sat)

